Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Es ist ein familiäres Treffen, auf dem alle, die an der Deduktion interessiert sind, über ihre Arbeit in einem informellem Rahmen berichten können.
Das Deduktionstreffen findet am 17. und 18. März 2008 am Max-Planck-Institut für Informatik in Saarbrücken statt