Deduktionstreffen 2013

16./17. September 2013, Univ. Koblenz-Landau, Campus Koblenz

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.

 

Wie immer ist es auch die Idee des Treffens, gerade jungen Doktoranden und Nachwuchswissenschaftlern die Möglichkeit zu geben, über ihre Arbeiten zu berichten.

 

Das Deduktionstreffen 2013 findet gleichzeitig mit der INFORMATIK 2013 am Campus Koblenz der Universität Koblenz-Landau statt.