Jahrestreffen der GI-Fachgruppe 1.2.1
``Deduktionstreffen''

30.9.97 - 2.10.97

SCHLOSS DAGSTUHL
INTERNATIONALES
BEGEGNUNGS- UND FORSCHUNGSZENTRUM
FÜR INFORMATIK

Organisation:

Forschungsgruppe KI (Prof. Furbach)
Peter Baumgartner
Universität Koblenz

Aufruf zur Teilnahme

Die Fachgruppe 1.2.1, Deduktion, veranstaltet ihr jährliches Treffen in diesem Jahr vom 30.9. - 2.10 im Schloss Dagstuhl. Wie üblich sollen neben den Arbeiten des Veranstalters auch Arbeiten anderer Kolleginnen und Kollegen auf dem Deduktionstreffen präsentiert werden.

Außerdem wird, wie bereits 1995 beim Deduktionstreffen am MPI in Saarbrücken, wieder ein Beweiserhappening stattfinden. Michael Kohlhase (kohlhase@cs.uni-sb.de) hat sich wieder bereiterklärt die Organisation dafür zu übernehmen.

Weitere Informationen:

Besucher seit dem 1.3.1997

Peter Baumgartner (mail: ), AI Research Group, Universität Koblenz-Landau, Germany