Das DU Logo
13. Jahrestagung der GI-Fachgruppe
Logik in der Informatik
Dortmund, 12.-13. Oktober 2006
GI Logo


Das jährliche Fachgruppentreffen der GI-Fachgruppe "Logik in der Informatik" wird in diesem Jahr am Donnerstag, den 12. und Freitag , den 13. Oktober 2006 vom Lehrstuhl Informatik 1 der Universität Dortmund veranstaltet.

Das Treffen wurde auf Grund der WM und der damit verbundenen Hotelpreise und -überbuchungen in den Oktober verschoben.

Eingeladener Vortrag:

Programm

Veranstaltungsort und Anfahrt

Rudolf Chaudoire PavillonDer Tagung findet im Rudolf Chaudoire Pavillon statt. Dieser befindet sich auf dem Südcampus der Universität Dortmund (Gebäude 39 im Lageplan). Anfahrt und Lageplan.

Unterkunft

Eine Liste von Hotels finden Sie hier.


Organisatoren

Thomas Schwentick
Henrik Björklund
Volker Weber



Last modified: Thu Sep 28 2006