TUM 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:

Gernot Stenz (mail: stenzg@in.tum.de), Research Group Automated Reasoning, TU München, Germany