[loginf] LOGINF Jahres-Treffen 2009

Manfred Schmidt-Schauss schauss at ki.informatik.uni-frankfurt.de
Mon Sep 21 12:37:50 CEST 2009


LogInf-Treffen 2009:
   ===================
               Logik in der Informatik
               Frankfurt, 6.-7.November 2009

               http://www.ki.informatik.uni-frankfurt.de/events/li16/main.html
-----------------------------------------------------------------------

Das jährliche Fachgruppentreffen GI-Fachgruppe "Logik in der Informatik"
wird in diesem Jahr am Freitag und Samstag, den 6.-7.November 2009 von  
den  Professuren
"Theorie komplexer Systeme" und "Künstliche Intelligenz und  
Softwaretechnologie"
am Institut für Informatik, Fachbereich Informatik und Mathematik
der Goethe-Universität Frankfurt veranstaltet.

Eingeladene Vorträge, reguläre Vorträge  der Teilnehmer und die  
jährliche Fachgruppensitzung finden
am Freitag und Samstag statt. Bis jetzt geplant sind eingeladene  
Vorträge von
Martin Otto, Markus Aderhold und Christoph Weidenbach.
Am Freitag abend ist nach der Fachgruppensitzung
ein gemeinsames Abendessen geplant.


Anmeldung:
----------
Wer an dem Jahrestreffen teilnehmen möchte, möge sich bitte bis zum  
12.10.2009
auf der Web-Seite
       http://www.ki.informatik.uni-frankfurt.de/events/li16/main.html

anmelden, oder per EMail an
       schauss at ki.informatik.uni-frankfurt.de

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


Unterkunft und Anfahrt:
-----------------------
Informationen bzgl. Anfahrt und Hotels finden sich auf der Web-Seite

       http://www.ki.informatik.uni-frankfurt.de/events/li16/main.html

Wir freuen uns über Ihre zahlreiche Teilnahme!

                     Manfred Schmidt-Schau§  und Nicole Schweikardt


More information about the loginf mailing list