1 August 2025, Deduktionstreffen 2025, Stuttgart, Germany
The annual Deduktionstreffen (German for ``deduction meeting'') is the prime activity of the Special Interest Group on Deduction Systems of the AI Chapter(Fachbereich KI) of the German Society of Informatics (Gesellschaft fuer Informatik, GI). This year it will be organized jointly with the special interest group on Knowledge Representation and Reasoning, as part of CADE-30.
It has a long tradition for being a meeting place for the German community on automated reasoning with an informal and friendly atmosphere. Submissions by researchers from neighboring or otherwise related countries are very welcome as well. A special focus of the workshop is on young researchers and students, who are particularly encouraged to present ongoing projects to a wider audience.
Informal submissions should be made as abstracts (up to 1 page) without special formatting. They will be published online and be available during the workshop.Full papers should be formatted in CEUR style (2-column style) without header and footer. The length of these papers should not exceed 8-12 pages. All submissions must be written in English and submitted in PDF format via EasyChair (select the track "Deduktionstreffen").