[loginf] Jahrestreffen "Logik in der Informatik" (Erinnerung)

Helmut Seidl seidl at in.tum.de
Sun Aug 17 19:59:50 CEST 2008


ERINNERUNG:

    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.

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