[loginf] LogInf Fachgruppentreffen 2005

[Jan Johannsen]

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

	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

Neben einem 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.


Organisatoren

Jan Johannsen und Martin Lange