A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects.
We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in a five minute teaser talk and then discussed next to a poster (maximal size: A0 portrait). [Update] This year's contributions will be presented in regular talks.
The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys.
Deduktionstreffen 2016 is associated with KI 2016.