Conferences/Workshops

Deduktionstreffen 2015

Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Es ist ein familiäres, freundliches Treffen, auf dem alle, die an der Deduktion interessiert sind, über ihre Arbeit in informellem Rahmen berichten können. Das Deduktionstreffen 2015 ist assoziiert mit der 25. Conference on Automated Deduction (CADE-25).

Read more

ADDCT'2014

Workshop on Automated Deduction: Decidability, Complexity, Tractability. Affiliated with IJCAR 2014, Vienna, July 19 - 22, 2014

Read more

Deduktionstreffen 2013

Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI- Fachgruppe Deduktionssysteme (DedSys). Es ist ein familiäres, freundliches Treffen, auf dem alle, die an der Deduktion interessiert sind, über ihre Arbeit in informellem Rahmen berichten können.

Read more

ADDCT'2013

Workshop on Automated Deduction: Decidability, Complexity, Tractability. Affiliated with CADE-24 Lake Placid, New York June 9 - 14, 2013

Read more