Leitungsgremium
Entsprechend der Geschäftsordnung wird die Fachgruppe Deduktionssysteme von einem Sprecher und dessen Stellvertreter geleitet. Sie koordinieren die Aktivitäten der Fachgruppe und sind die ersten Ansprechpartner für alle organisatorischen Belange.
Bei Fragen und Anregungen zur Homepage der Fachgruppe wenden Sie sich bitte an den Webmaster.
Sprecher
Dr. Florian Rabe
Universität Erlangen-Nürnberg
Martensstraße 3, 91058 Erlangen
(email) (web)
Dr. Uwe Waldmann
Max-Planck-Institut für Informatik
Campus E1 4, 66123 Saarbrücken
(email) (web)
Ehemalige Sprecher
Die Daten in diesem Abschnitt sind unvollständig.
- 2018-2024: Claudia Schon und Alexander Steen
- 2014-2018: Christoph Benzmüller und Matthias Horbach
- 2008-2014: Bernhard Beckert
- 2004-2008: Peter Baumgartner
- 1999-2004: Reinhold Letz
- 1997-1999: Wolfgang Reif
- 1993: Christoph Walther
- 1987-1993: Christoph Walther
- 1984: Michael Richter
Ehemalige Stellvertreter
- 2008-2014: Serge Autexier
- 2004-2008: Bernhard Beckert
- 1999-2004: Wolfgang Reif
- 1997-1999: Jürgen Avenhaus
- 1993: Wolfgang Reif
- 1989-1992: Ulrich Furbach