GI 
Gesellschaft für Informatik - Fachgruppe 1.2.1

Deduktionssysteme

Frühere Treffen

  • 3. Jahrestreffen 1986, Karlsruhe, Walther, Uni Karlsruhe
  • 4. Jahrestreffen 1987, München, Bayerl, Letz, TU München
  • 5. Jahrestreffen 1988, Lautenbach, Walther, Uni Karlsruhe
  • 6. Jahrestreffen 1989, Lautenbach, Wernecke, IBM
  • 7. Jahrestreffen 1990, Johanniskreuz, Kerber, Siekmann, Uni Kaiserslautern
  • 8. Jahrestreffen 1991, Berlin, Geske, Golz, GMD
  • 9. Jahrestreffen 1992, Freudenstadt, Reif, Uni Karlsruhe
  • 10. Jahrestreffen 1993, Kaiserslautern, Avenhaus, Uni Kaiserslautern
  • 11. Jahrestreffen 1994, Darmstadt, Bibel, Walther, TU Darmstadt
  • 12. Jahrestreffen 1995 , Saarbrücken, Kohlhase, Ohlbach, Uni und MPI Saarbrücken
  • Jahrestreffen 1996 in Dresden ausgefallen
  • 13. Jahrestreffen 1997, Dagstuhl, Baumgartner, Uni Koblenz, Protokoll der Mitgliederversammlung
  • 14. Jahrestreffen 1998, München, Letz, Nipkow, TU München
  • 15. Jahrestreffen 1999, Avenhaus, Denzinger, Uni Kaiserslautern
  • 16. Jahrestreffen 2000, Autexier, Benzmüller, Uni Saarbrücken
  • 17. Jahrestreffen 2001, Schmitt, Uni Karlsruhe
  • 18. Jahrestreffen 2002, Basin, Ebbinghaus, Uni Freiburg
  • 19. Jahrestreffen 2003, Reif, Uni Augsburg, 8.-10. Oktober
  • 20. Jahrestreffen 2004, AG Siekmann (Benzmüller, Autexier), Uni Saarbrücken, 4.-6. Oktober 2004 (gemeinsam mit der Fachgruppe Logik in der Informatik des Fachbereichs 0.1.6)
  • 21. Jahrestreffen 2005, AGKI Koblenz (Beckert/Furbach) (Christoph Wernhard), Koblenz, 11.9.2005, im Rahmen der KI 2005.
  • 22. Jahrestreffen 2007, März 2007, Universität Koblenz (Manfred Kerber)
  • 23. Jahrestreffen 2008, März 2008, MPI Saarbrücken (Christoph Weidenbach)
  • 24. Jahrestreffen 2009, 15-16. Oktober 2009, Jacobs University Bremen (Serge Autexier/Michael Kohlhase)
  • 25. Jahrestreffen 2010 , 20. - 21. September 2010, Karlsruher Institut für Technologie (Bernhard Beckert)
  • 26. Jahrestreffen 2011, 20. - 21. Oktober 2011, Karlsruher Institut für Technologie (Carsten Sinz)

    • GI-Einstiegsseite Zur Einstiegsseite der GI

    Wolfgang Reif (reif@informatik.uni-ulm.de), August 1998
    Reinhold Letz (letz@informatik.tu-muenchen.de), September 1999
    Peter Baumgartner (baumgart@mpi-sb.mpg.de), Juli 2004
    Serge Autexier (serge.autexier@dfki.de), 2009-2011