Logik in der Informatik München, 8. September 2008 |
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.
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.
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.
Informationen bzgl. Anfahrt und Hotels finden sich auf den
Seiten der GI
Jahrestagung.
Martin LeuckerAnmeldung
Unterkunft und Anfahrt
Organisatoren
Tobias Nipkow
Helmut Seidl
Last modified: Mon. Jul 21 14:58:55 CEST 2008