Jahrestagungen
29. Jahrestagung (2024, Düsseldorf, 18. und 19. April, gemeinsam mit dem 86. Theorietag)
- organisiert von Jörg Rothe
28. Jahrestagung (2023, Bochum, 19. und 20. September, gemeinsam mit dem 85. Theorietag)
- organisiert von Thomas Zeume
27. Jahrestagung (virtuell, 8. April 2022)
- organisiert von Sergey Goncharov und Florian Rabe
26. Jahrestagung (virtuell, 26. März 2021)
zusammen mit dem 33. Jahrestreffen der FG DedSys (Deduktionstreffen)
- organisiert von Sergey Goncharov und Florian Rabe
25. Jahrestagung (2019, Jena, 21. und 22. Oktober)
- organisiert von Olaf Beyersdorff
- organisiert von Till Tantau
- organisiert von Dirk Nowotka, Thomas Wilke und Florin Manea
- Protokoll der Fachgruppensitzung
22. Jahrestagung (im Rahmen der CSL'15) (2015, Berlin, 11. September)
- organisiert von Stephan Kreutzer
- Protokoll der Fachgruppensitzung
21. Jahrestagung (2014, Kassel, 14.-15. November)
- organisiert von Martin Lange
- Protokoll der Fachgruppensitzung
20. Jahrestagung (2013, Bremen, 8.-9. November)
- organisiert von Carsten Lutz
- Protokoll der Fachgruppensitzung
19. Jahrestagung (2012, Mannheim, 16.-17. November)
- organisiert von Lutz Strüngmann
- Protokoll der Fachgruppensitzung
18. Jahrestagung (2011, Ilmenau, 4.-5. November)
- organisiert von Dietrich Kuske
17. Jahrestagung (2010, Leipzig, 5.-6. November)
- organisiert von Markus Lohrey
- Protokoll der Fachgruppensitzung
16. Jahrestagung (2009, Frankfurt, 6.-7. November)
- organisiert von Manfred Schmidt-Schauss und Nicole Schweikardt
15. Jahrestagung (2008, München 8. September)
- organisiert von Martin Leucker, Tobias Nipkow, Helmut Seidl
- Protokoll der Fachgruppensitzung
14. Jahrestagung (2007, Braunschweig 23.-24. November)
- organisiert von Jiri Adamek
- Protokoll der Fachgruppensitzung
13. Jahrestagung (2006, Dortmund 12.-13. Oktober)
- organisiert von Thomas Schwentick
- Protokoll der Fachgruppensitzung
12. Jahrestagung (2005, München 19.-20. Mai)
- organisiert von Jan Johannsen und Martin Lange
11. Jahrestagung (2004, Saarbrücken 4.-6. Oktober)
- organisiert von Chris Benzmüller und Serge Autexier
- Protokoll der Fachgruppensitzung
10. Jahrestagung (2003, Augsburg, 8.-10. Oktober)
- organisiert von Wolfgang Reif
- Protokoll der Fachgruppensitzung
9. Jahrestagung (2002, Freiburg, 2.-4. Oktober)
- organisiert von David Basin und Heinz-Dieter Ebbinghaus
- Protokoll der Fachgruppensitzung
8. Jahrestagung (2001, München, 6/7. Juni)
- organisiert von Klaus Schulz und Tobias Nipkow
- Protokoll der Fachgruppensitzung
7. Jahrestagung (1999, Dresden, 27.-28. Mai)
6. Jahrestagung (1998, Kiel, 4.-5. Juni)
5. Jahrestagung (1997, Aachen, 22.-23. Mai)
4. Jahrestagung (1996, Kaiserslautern, 30.-31. Mai)
3. Jahrestagung (1995, Karlsruhe)
2. Jahrestagung (1994, Paderborn)
1. Jahrestagung (1993, Leipzig)