[loginf] Fachgruppentreffen

[Jan Johannsen]

Zur Erinnerung: 

*********************************************************************

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

	http://www.tcs.ifi.lmu.de/LogInf05/

**********************************************************************

 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 wird es reguläre Vorträge der
 Teilnehmer sowie die jährliche Fachgruppensitzung geben. Am
 Donnerstag abend findet nach der Fachgruppensitzung ein offizielles
 Dinner statt. Das Programm beginnt - je nach Umfang des Programms -
 am Donnerstag vormittag und endet Freitag gegen Mittag mit einem
 traditionellen bayerischen Weißwurstfrühstück. Für Teilnehmer, die
 bereits am Mittwoch anreisen, ist ein informelles gemeinsames
 Abendessen geplant.

 Um Einreichungen von Vorträgen zu allen Themen aus dem Bereich "Logik
 in der Informatik" (mit Zusammenfassung per e-mail an Jan Johannsen)
 wird bis spätestens 30. April 2005 gebeten.  

Anmeldung
---------

 Wer an dem Jahrestreffen teilnehmen möchte, möge sich bitte bis
 30. April 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.

Unterkunft und Anfahrt
----------------------

 Informationen bzgl. Anfahrt und Hotels finden sich auf der WWW-Seite.

Jan Johannsen und Martin Lange