Das TUM Logo

15. Jahrestagung der GI-Fachgruppe
Logik in der Informatik
München, 8. September 2008

GI Logo

Das jährliche Fachgruppentreffen der GI-Fachgruppe "Logik in der Informatik" wird in diesem Jahr am Montag, den 8. September 2008 vom Lehrstuhl Sprachen und Beschreibungsstrukturen in der Informatik der TU München in Zusammenhang mit der GI Jahrestagung mit Unterstützung des Graduiertenkollegs "Programm und Modell-Analyse (PUMA)", veranstaltet.

Eingeladene Vorträge:

Im Rahmen des assoziierten Workshops Lightweight Verification Techniques der GI-Jahrestagung haben wir Ernst-Rüdiger Olderog, Andreas Podelski und Andreas Zeller für Vorträge gewinnen können.

Der Workshop Lightweight Verification Techniques beginnt am Montag um 9:00 Uhr und endet gegen Mittag.

Das restliche Programm des Jahrestreffens beginnt um 14:00 Uhr. Für diese alleine ist keine Teilnahmegebühr erforderlich!

Der Ort beider Veranstaltungen ist im TU-Stammgelände, der Trakt in der Thereisienstraße (genannt Theresianum), Hörsaal 2710.

Auf Wunsch findet nach der Fachgruppensitzung ein gemeinsames Abendessen statt. statt.

Anmeldung

Wer an dem Jahrestreffen teilnehmen möchte, möge sich bitte per e-mail an Helmut Seidl anmelden. Gleichzeitig wird eine Anmeldung zum Workshop Lightweight Verification Techniques angeraten. Eine aktuelle Liste der angemeldeten Teilnehmer gibt es hier.

Unterkunft und Anfahrt

Informationen bzgl. Anfahrt und Hotels finden sich auf den Seiten der GI Jahrestagung.

Organisatoren

Martin Leucker
Tobias Nipkow
Helmut Seidl


Last modified: Mon. Jul 21 14:58:55 CEST 2008