Gesellschaft für Informatik
Fachgruppe Deduktionssysteme (DedSys)

Fachgruppenleitung

Prof. Dr. Bernhard Beckert (Sprecher)

Dr. Serge Autexier (Stellvertreter)

Aufgaben und Ziele

Feste Einrichtungen

Fachgruppentreffen:

• Nächstes Fachgruppentreffen: Jahrestreffen 2011, 20. - 21. Oktober 2011, Karlsruher Institut für Technologie (Carsten Sinz)
• Letztes Fachgruppentreffen: Jahrestreffen 2010, 20. - 21. September 2010, Karlsruher Institut für Technologie (Bernhard Beckert)
• frühere Treffen

Mitgliedschaft

Werden Sie Mitglied der Fachgruppe durch eine formelle Anmeldung : GI, FB 1 Künstliche Intelligenz, Fachgruppe Deduktionssysteme.

Zur Einstiegsseite der GI