Jahrestreffen der GI-Fachgruppe 1.2.1
``Deduktionstreffen''

München, 5.10.1998 - 6.10.1998

Organisation:
Reinhold Letz, Tobias Nipkow, David von Oheimb, Cornelia Pusch, Gernot Stenz
Institut für Informatik
Technische Universität München

Aufruf zur Teilnahme

Die Deduktionsgruppen der Münchener Universitäten freuen sich, zum diesjährigen Treffen der Fachgruppe 1.2.1 (Deduktion) einladen zu können. Das Treffen findet am 5. und 6. Oktober 1998 in den Räumen der Technischen Universität München statt. Neben der Präsentation der Arbeit der Münchener Deduktion wird in beschränktem Maße auch auswärtigen Kolleginnen und Kollegen Gelegenheit zur Darstellung ihrer Ergebnisse gegeben.

Weitere Informationen:

• Die Anmeldung sollte bis zum 14.9.1998 durch Ausfüllen des Anmeldeformulars erfolgen oder einfach durch email an ded98@mailjessen.informatik.tu-muenchen.de. Der Unkostenbeitrag beträgt DM 20 pro Person (zahlbar vor Ort). Nachmeldegebühr DM 30.
• Es wird des weiteren Systemdemos geben. Bei Fragen zur Installation der Systeme wenden Sie sich bitte an David von Oheimb (oheimb@informatik.tu-muenchen.de).
• Aus personellen Gründen können wir die Reservierung der Unterkunft nicht übernehmen. Wir haben jedoch eine Liste empfehlenswerter Hotels und Pensionen verschiedener Preisklassen vorbereitet. Wir empfehlen eine frühzeitige Buchung.
• Programm und Zeitplan.
• Teilnehmerliste.
• Die offizielle Seite für die Anreise zur TU München (englisch).
  Achtung, aktuell!!! Veranstaltungsräume (dazu Lageplan):
  
  • Montag: Hörsaal 1402 (TU-Hauptgebäude, Eingang VIII an der Luisenstraße, 1. Stock)
    Die System-Demos finden in Raum 1562 und 1565 (Eingang XI an der Luisenstraße, 1. Stock) statt.
  • Dienstag: Hörsaal 0606 (TU-Hauptgebäude, Nordeingang Theresienstraße, EG)
• Ein Beweiserhappening wird aus organisatorischen Gründen diesmal nicht stattfinden.
• Das Deduktionstreffen 1998 findet direkt im Anschluß an das Oktoberfest (19.9.-4.10.) statt. Wer also etwas früher anreist, hat die Gelegenheit, die Besuche auf der Wies'n und beim Deduktionstreffen miteinander zu verbinden.