Gesellschaft für Informatik

Fachgruppe Deduktionssysteme

Jahrestreffen

Wichtigste Veranstaltung der Fachgruppe ist das jährlich stattfindende Deduktionstreffen. Es wird abwechselnd von den einzelnen Arbeitsgruppen in Deutschland in Form eines Workshops organisiert und inhaltlich ausgestaltet. Traditionell erhält die veranstaltende Gruppe dabei die Gelegenheit, ihre Arbeiten ausführlich vorzustellen. Aber auch alle anderen Personen haben die Möglichkeit, Vorträge einzureichen.

Im Rahmen des Deduktionstreffens findet auch die Jahresmitgliederversammlung statt. Angebote, eines der nächsten Treffen zu veranstalten, sowie Themenvorschläge für die Mitgliederversammlung sammelt der Sprecher.

Das Deduktionstreffen wird von den Veranstaltern im allgemeinen über den Email-Verteiler der Fachgruppe und über diverse elektronische Medien angekündigt.

Zur Einstiegsseite der GI

Wolfgang Reif (reif@informatik.uni-ulm.de), März 1997

Reinhold Letz (letz@informatik.tu-muenchen.de), Dezember 1999

Peter Baumgartner (baumgart@mpi-sb.mpg.de), Juli 2004