Logic List Mailing Archive

CfP: Deduktionstreffen 2025 (part of CADE-30), 1 August 2025, Stuttgart (Germany)

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 *****

zgr Ltf zcep, University Hamburg, Germany Florian Rabe, University of Erlangen, Germany Kai Sauerwald, FernUniversitt 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