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

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:

• Anuj Dawar (Cambridge): "Preservation properties on well-behaved classes of finite structures." Abstract.

Veranstaltungsort und Anfahrt

Der 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.

Organisatoren

Thomas Schwentick
Henrik Björklund
Volker Weber