12. Jahrestagung der GI-Fachgruppe Logik in der Informatik München, 19.-20. Mai 2005

Das jährliche Fachgruppentreffen der GI-Fachgruppe "Logik in der Informatik" wird in diesem Jahr am Donnerstag, den 19. und Freitag , den 20. Mai 2005 von der Lehr- und Forschungseinheit Theoretische Informatik der Ludwig-Maximilians-Universität München, mit Unterstützung des Graduiertenkollegs "Logik in der Informatik", veranstaltet.

Programm

Eingeladener Vortrag:

• Prof. Dr. Thomas Schwentick (Universität Marburg): Logic and XML

Neben dem eingeladenen Vortrag gibt es reguläre Vorträge der Teilnehmer sowie die jährliche Fachgruppensitzung. Am Donnerstag abend findet nach der Fachgruppensitzung ein offizielles Dinner im Weissen Bräuhaus statt. Das Programm beginnt am Donnerstag um 10:00 Uhr und endet Freitag um 12:30. Die Tagung findet im Hörsaal E.27 im Mathematischen Institut der LMU, Theresienstr. 39, statt. Hier ist eine Wegbeschreibung. Für Teilnehmer, die bereits am Mittwoch anreisen, ist ab 19:30 ein informelles gemeinsames Abendessen im Restaurant Papatakis (ehem. "Schwabinger Wirtshaus", Leopoldstraße 40, an der U-Bahnstation Giselastraße) geplant.

Anmeldung

Wer an dem Jahrestreffen teilnehmen möchte, möge sich bitte bis 5. Mai 2005 per e-mail an Jan Johannsen anmelden. Pro Teilnehmer wird ein Unkostenbeitrag von 10 Euro erhoben, der vor Ort zu Beginn der Tagung in bar bezahlt werden kann. Eine aktuelle Liste der angemeldeten Teilnehmer gibt es hier.

Unterkunft und Anfahrt

Informationen bzgl. Anfahrt und Hotels finden sich hier.

Organisatoren

Jan Johannsen

Martin Lange