Jahrestreffen der GI Fachgruppe 0.1.6 "Logik in der Informatik"
München, 6.6. - 7.6.2001
Das jährliche Fachgruppentreffen der GI-Fachgruppe "Logik in der Informatik"
wird 2001 vom gemeinsamen Graduiertenkolleg "Logik in der Informatik" der
Ludwig-Maximilians-Universität München und der Technischen Universität München
veranstaltet. Organisatoren sind Tobias Nipkow und Klaus Schulz.
Neben drei eingeladenen Vorträgen wird es reguläre Vorträge der Teilnehmer
sowie die jährliche Fachgruppensitzung geben.
Um Einreichungen von Vorträgen zu allen Themen aus dem Bereich "Logik in der Informatik"
wird bis spätestens 15. 5. 2001 gebeten. Natürlich sind auch Teilnehmer, die keinen
eigenen Vortrag halten wollen, willkommen.
Anmeldung zur Teilnahme/Teilnahmegebühr
Die verbindliche Anmeldung zur Teilnahme am Jahrestreffen kann bis zum
23.5.2001 unter der unten angegebenen E-Mail-Adresse erfolgen. Mit der
Anmeldung verpflichtet sich der Teilnehmer, eine Gebühr in Höhe von DM
20.- zur Deckung der Nebenkosten zu bezahlen. Die Bezahlung erfolgt
vor Ort beim Beginn des Treffens.
Eingeladene Sprecher
Als zwei von drei eingeladenen Sprechern stehen bereits fest:
Prof. Jan Rutten
Centre for Mathematics and Computer Science
CWI Amsterdam
sowie
PD Dr. habil. Frank Wolter
Universität Leipzig
Ort der Veranstaltung
Mathematisches Institut
Theresienstr. 39
80333 München
1. Stock, Raum 132
Anfahrt
- Karlsplatz -> Tram 27 (Richtung Petuelring) -> Haltestelle Pinakothek
- Marienplatz -> U3/U6 (Richtung Münchner Freiheit) -> Haltestelle
Universität
Eine Kurzbeschreibung (in Englisch) mit Links auf Stadtplandienst
etc. findet sich hier.
Weitere aktuelle Ankündigungen und nähere Informationen
werden in Kürze hier zugänglich gemacht.
Anfragen betreffs der lokalen Organisation
an:
Prof. Dr. Klaus U. Schulz
CIS, Universität München
Oettingenstr. 67
80538 München
e-mail: schulz@cis.uni-muenchen.de
Holger Meuss
Last modified: Fri May 25 15:12:18 MEST 2001