[loginf] Jahrestreffen "Logik in der Informatik"

Helmut Seidl seidl at in.tum.de
Mon Jul 21 17:25:41 CEST 2008


    LogInf-Treffen 2008:
    ===================
                Logik in der Informatik
                München, 8. September 2008

                http://www2.in.tum.de/~seidl/lv2008/
-----------------------------------------------------------------------

Das jährliche Fachgruppentreffen 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.

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.

Reguläre Vorträge der Teilnehmer und die jährliche Fachgruppensitzung finden
am Montag Nachmittag statt. Am Montag abend findet nach der 
Fachgruppensitzung
ein gemeinsames Abendessen statt.

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.
Nähere Einzelheiten werden noch bekannt gegeben.

Anmeldung:
----------
Wer an dem Jahrestreffen teilnehmen möchte, möge sich bitte bis 20. 
August 2008
per e-mail an Helmut Seidl anmelden:

        seidl at in.tum.de

Wie immer sind Vorträge zu allen Gebieten der mathematischen Logik und ihren
Anwendungen in der Informatik herzlich willkommen!

Gleichzeitig wird eine Anmeldung zum Workshop "Lightweight Verification 
Techniques"

        http://www4.in.tum.de/LV08

sehr empfohlen.

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

        http://www.informatik2008.de/

Wir freuen uns über Ihre zahlreiche Teilnahme!

                      Helmut Seidl




More information about the loginf mailing list