[Event at CIG] Deduktionstreffen 2025

[florian.rabe at fau.de]

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