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, gemeinsam mit der Fachgruppe Logik in der Informatik des Fachbereichs 0.
Jahrestreffen 2004, AG Siekmann (Benzmüller, Autexier), Uni Saarbrücken, 4.-6. Oktober 2004.
Jahrestreffen 2005, AGKI Koblenz (Beckert/Furbach) (Christoph Wernhard), Koblenz, 11.9.2005, im Rahmen der KI 2005.
Jahrestreffen 2007, März 2007, Universität Koblenz (Manfred Kerber)