News

IFI Colloquium

IFI Colloquium Person/Speaker: Prof. Dr. Ulrich Reif

Place: Seminarraum A, IFMProf. Dr. Ulrich Reif, from Fachbereich Mathematik, TU Darmstadt will speak on "Analyse des Vierpunkt-Schemas"

The talk will take place on Monday, June 12 2006 in Seminar room A (Seminarraum A) of Institut fuer Mathematik, Erzstrasse 1.

Entwurf und Implementierung eines Werkzeugs zur statischen Analyse von Java Bytecode

Entwurf und Implementierung eines Werkzeugs zur statischen Analyse von Java Bytecode Person/Speaker: Cand.-Inf. Jan Winhuysen

Place: R106Our group-member Jan Winhuysen is giving a talk about his diploma-thesis "Entwurf und Implementierung eines Werkzeugs zur statischen Analyse von Java Bytecode".

Klausurtermin Informatik III am 02.08.2006

Die Klausur zur Informatik III, Prof. Dr. J. Dix, findet wie folgt statt:



Mittwoch, den 2. August 2006,

14.00 Uhr,

Hörsaal A (HA), Institut für Mathematik, Erzstraße 1.


Infos zur Vorlesung Informatik III finden Sie hier:

cig.in.tu-clausthal.de/index.php

 

NMR'06 - Proceedings online

NMR'06 - Proceedings online The proceedings of the Eleventh International Workshop on Non-Monotonic Reasoning are finally finished and can be downloaded following the link.-Download PDF-

PhD. Thesis defence

PhD. Thesis defencePerson/Speaker: Andreas BrüningToday our colleague Andreas Brüning successfully defended his PhD. Thesis on "Continous and Multi-Distributive Extensions of EDAs". Congratulations from all of us!

Jürgen Dix in Bath

Jürgen Dix in Bath 24-27 May 2006: JD is visiting Dept. of CS at Bath University and giving an invited talk.

Continous and Multi-Distributive Extensions of EDAs

Continous and Multi-Distributive Extensions of EDAs. Person/Speaker: Andreas Bruening

Place: Am Regenbogen 15Today Andreas will speak on his research towards PhD. thesis.-Andreas Bruening-

CIG meeting

CIG meeting Place: Am Regenbogen 15A regular CIG meeting will take place on Monday May 22th 2006 at 11:00.