Meeting at the 30th International Conference on Automated Deduction (CADE-30)
August 1st, 2025: Stuttgart, Germany
Organized by the
SIG Deductive Systems
and
SIG Knowledge Representation and Reasoning
of the GI
Automated Reasoning is a core field of artificial intelligence research with a focus on the development of models, procedures, and software for the computer-assisted automation of logical reasoning. While automated reasoning is a quite broad and diverse field including many different types of formal systems, automated deduction specializes on the problem of correctly and efficiently deriving deductive conclusions from given assumptions, usually formulated in a formal logical language.
The annual Workshop Deduktionstreffen (German, roughly translates to ``deduction meeting'') is the prime activity of the Special Interest Group on Deduction Systems (Fachgruppe Deduktionssysteme) of the AI Chapter (Fachbereich KI) of the German Society of Informatics (Gesellschaft fuer Informatik, GI) and will be organized this year jointly with the Special Interest Group on Knowledge Representation and Reasoning (Fachgruppe Wissensrepräsentation und Schließen).
The Deduktionstreffen is an international meeting with an informal and friendly atmosphere, where everyone interested in deduction systems and related topics can report on their work in an accessible setting. It has a long tradition for being a meeting place for the German community on automated reasoning. 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 their ongoing research projects to a wider audience, and to receive constructive feedback from more experienced participants. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects.
Informal submissions should be made as abstracts (up to 1 page) with any formatting. They will be published and online and be available during the workshop.
Full papers should be formatted in CEUR style (2-column style) without enabled header and footer. The author kit can be found at http://ceur-ws.org/Vol-XXX/CEURART.zip. The length of these papers should not exceed 8-12 pages.
All submissions must be written in English and submitted in PDF format via the EasyChair system (select the track "Deduktionstreffen"). One of the authors is expected to participate in the workshop and present their paper.
The full paper proceedings will be made available in the CEUR Workshop Proceedings series.
Thomas Hubauer, Siemens Technology
Ullrich Hustadt , University of Liverpool
Christoph Kreitz, University of Potsdam
| Özgür Lütfü Özcep | University Hamburg, Germany |
| Florian Rabe | University of Erlangen, Germany |
| Kai Sauerwald | FernUniversität in Hagen, Germany |
| Uwe Waldmann | Max Planck Institute for Informatics, Germany |
| Deadline for Submission: | May 1, 2025 |
| Notification of Authors: | May 31, 2025 |
| Camera-ready Paper: | June 15, 2025 |
| Workshop: | August 1, 2025 |
Local information can be found on the web pages of the CADE-30 conference.
Last modified 2025-02-19