VeranstaltungsortUniversity of Kassel
The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone interested in deduction can report on their work in an informal setting.
A special 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.
Deduktionstreffen 2019 is associated with the German KI 2019, which brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys.
We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in an approx. 15 minute teaser talk and then discussed next to a poster (maximal size: A0 portrait). The exact maximal time per talk (at least 15min) will be adjusted on short notice depending on the overall number of submissions.
Submission is open to everybody interested in deduction systems.
Please submit an extended abstract (max. two pages) of your contribution via EasyChair:
Early bird submission: July 5 (Notification: July 15)
Standard submission: August 5 (Notification: August 15)
Early bird submission is meant to allow planning reliability to interested students and researchers, e.g. if they would like to apply for travel grants. In particular, there are KI 2019 student travel grants available (see KI 2019 Student Travel Grants) and further travel support is funded by the AI chapter of the German Gesellschaft für Informatik (for members, see here).
- Serge Autexier
- Bernhard Beckert
- Christoph Benzmüller
- Jasmin Blanchette
- Jürgen Giesl
- Manfred Kerber
- Jens Otten
- Florian Rabe
- Claudia Schon (co-chair)
- Stephan Schulz
- Viorica Sofronie-Stokkermans
- Alexander Steen (co-chair)
- Uwe Waldmann