Tag der Informatik 2008
Tag der Informatik ist vorbei.
Der Tag der Informatik 2008 ist vorbei und war ein voller Erfolg! Einige Fotos finden sich auf dieser Webseite.
Tag der Informatik 2008
Der Tag der Informatik findet am 5. Dezember 2008 statt und wird dieses Jahr vom Lehrstuhl und Lehr- und Forschungsgebiet Informatik 2 ausgerichtet.
Wir freuen uns, dass wir dieses Jahr Prof. Dr. Orna Grumberg vom
TECHNION - Israel Institute of Technology in Haifa/Israel als Gastrednerin gewinnen konnten. Prof. Grumberg hat die Forschung auf dem Gebiet des Model Checking entscheidend mit geprägt, insbesondere durch Ihre Arbeiten zu Abstraktion, Kompositionalität, 3-wertiger Logik und temporaler Logik. Ihr Vortrag hat den Titel “Compositional Verfication and 3-valued Abstraction Join Forces“.
In einer Reihe von kurzen Vorträgen werden Aachener Wissenschaftler der Informatik-Fachgruppe über ihre aktuelle Forschung berichten, und sich Professoren der Fachgruppe, die 2008 neu berufen wurden, vorstellen. Parallel werden in einer Ausstellung die konkreten Forschungsergebnisse der Fachgruppe demonstriert.
Das Program endet mit der Vergabe des Sun-SAR-Softwarepreises, und anschliessend der Ausgabe der Diplomurkunden an die Diplomanden des vergangenen Halbjahres.
Das Tagesprogramm findet im AH 5 statt. Die Ausstellung wird im Foyer vorm AH 5 aufgebaut. Der offizielle Teil der Studienabschlussfeier (Diplomausgabe) findet in der Aula 2 statt, der anschließende gesellige Teil wieder im Foyer des AH 5.