Wichtigste Veranstaltung der Fachgruppe ist ihr Jahrestreffen, das Deduktionstreffen. Es wird abwechselnd von den einzelnen Arbeitsgruppen in Deutschland in Form eines Workshops organisiert und inhaltlich ausgestaltet. Traditionell erhält die veranstaltende Gruppe dabei die Gelegenheit, ihre Arbeiten ausführlich vorzustellen. Aber auch alle anderen Personen haben die Möglichkeit, Vorträge einzureichen.

Im Rahmen des Deduktionstreffens findet auch die Jahresmitgliederversammlung statt. Angebote, eines der nächsten Treffen zu veranstalten, sowie Themenvorschläge für die Mitgliederversammlung sammeln die Sprecher.

Das Deduktionstreffen wird von den Veranstaltern im allgemeinen über den E-Mail-Verteiler der Fachgruppe und über diverse elektronische Medien angekündigt.

Liste der Jahrestreffen

  • 30. Jahrestreffen 2016, Klagenfurt (Horbach, Max-Planck-Institut für Informatik)
    im Rahmen der Konferenz KI2016
    Protokoll der Mitgliederversammlung
  • 29. Jahrestreffen 2015, Berlin (Benzmüller, FU Berlin)
    im Rahmen der Konferenz CADE-25
    Protokoll der Mitgliederversammlung
  • 28. Jahrestreffen 2014, Wien (Kerber, University of Birmingham)
    zusammen mit dem Automated Reasoning Workshop, im Rahmen des Vienna Summer of Logic
  • 27. Jahrestreffen 2013, Koblenz (Sofronie-Stokkermans, Universität Koblenz-Landau)
    im Rahmen der INFORMATIK 2013
  • 26. Jahrestreffen 2011, Karlsruhe (Sinz, Karlsruher Institut für Technologie)
  • 25. Jahrestreffen 2010, Karlsruhe (Beckert, Karlsruher Institut für Technologie)
  • 24. Jahrestreffen 2009, Bremen (Kohlhase, Jacobs Universität Bremen)
  • 23. Jahrestreffen 2008, Saarbrücken (Weidenbach, Max-Planck-Institut für Informatik)
  • 22. Jahrestreffen 2007, Koblenz (Kerber, Universität Koblenz)
  • 21. Jahrestreffen 2005, Koblenz (Wernhard, AGKI Koblenz (Beckert/Furbach), Uni Koblenz)
    im Rahmen der KI 2005
    gemeinsam mit der Fachgruppe Logik in der Informatik.
  • 20. Jahrestreffen 2004, Saarbrücken (AG Siekmann (Benzmüller, Autexier), Universität Saarbrücken)
    gemeinsam mit der Fachgruppe Logik in der Informatik
  • 19. Jahrestreffen 2003, Augsburg (Reif, Universität Augsburg)
    gemeinsam mit der Fachgruppe Logik in der Informatik
  • 18. Jahrestreffen 2002, Freiburg (Basin, Ebbinghaus, Universität Freiburg)
    gemeinsam mit der Fachgruppe Logik in der Informatik
  • 17. Jahrestreffen 2001, Karlsruhe (Schmitt, Universität Karlsruhe)
  • 16. Jahrestreffen 2000, Saarbrücken (Autexier, Benzmüller, Universität Saarbrücken)
  • 15. Jahrestreffen 1999, Kaiserslautern (Avenhaus, Denzinger, Universität Kaiserslautern)
  • 14. Jahrestreffen 1998, München (Letz, Nipkow, TU München)
  • 13. Jahrestreffen 1997, Dagstuhl (Baumgartner, Universität Koblenz)
    Protokoll der Mitgliederversammlung
  • 12. Jahrestreffen 1995, Saarbrücken (Kohlhase, Ohlbach, Universität und MPI Saarbrücken)
  • 11. Jahrestreffen 1994, Darmstadt (Bibel, Walther, TU Darmstadt)
  • 10. Jahrestreffen 1993, Kaiserslautern (Avenhaus, Universität Kaiserslautern)
  • 9. Jahrestreffen 1992, Freudenstadt (Reif, Universität Karlsruhe)
  • 8. Jahrestreffen 1991, Berlin (Geske, Golz, GMD)
  • 7. Jahrestreffen 1990, Johanniskreuz (Kerber, Siekmann, Universität Kaiserslautern)
  • 6. Jahrestreffen 1989, Lautenbach (Wernecke, IBM)
  • 5. Jahrestreffen 1988, Lautenbach (Walther, Universität Karlsruhe)
  • 4. Jahrestreffen 1987, München (Bibel, TU München)
  • 3. Jahrestreffen 1985, Karlsruhe (Walther, Universität Karlsruhe)
  • 2. Jahrestreffen Juli 1984, Kaiserslautern
  • 1. Jahrestreffen Januar 1984, Aachen (Richter, RWTH Aachen)