Deduktionstreffen 2025 part of CADE-30 August 1st, 2025; Stuttgart, Germany
Organized by the special interest groups Deductive Systems Knowledge Representation and Reasoning of the German Society for Informatics 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 this year jointly with the special interest group on Knowledge Representation and Reasoning. 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. ***** Invited Speakers ***** Thomas Hubauer, Siemens Technology Ullrich Hustadt, University of Liverpool Christoph Kreitz, University of Potsdam Torsten Schaub, University of Potsdam ***** Organizers ***** Ö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 ***** Submissions ***** 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 https://easychair.org/conferences/?conf=cade30 (select the track "Deduktionstreffen"). One of the authors is expected to participate in the workshop and present their submission. ***** Important Dates **** Submission: May 1, 2025 Notification: May 31, 2025 Workshop: August 1, 2025 -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
