[TYPES/announce] Call for papers: Deduktionstreffen 2026 (workshop at KI 2026, Bremen, Aug 11)

[Florian Rabe]

************************************************************************

                        Deduktionstreffen 2026

                   August 11, 2026, Bremen, Germany

         Web site: https://urldefense.com/v3/__https://conferences.mpi-inf.mpg.de/dt-26/__;!!IBzWLUs!S50ho4UlNJDL6aCQ0fOSMaRu-aN5k2ULwxZMYOvTfRLfIobA_jT0aZgvgLRGhcXFuyt2tDRqdcSsK2ePIs572ym4QNCkxNQjZ6LU$ 
           Submission of abstracts (1–4 pages) by June 30

************************************************************************


The annual meeting Deduktionstreffen is the prime activity of the
Interest Group for Deduction Systems (FGDedSys) of the AI Chapter
(FB KI) of the German Informatics Society (Gesellschaft für Informatik).
It is a meeting with a familiar, friendly atmosphere, where everyone
(not only the German community) interested in deduction can report on
their work in an informal setting.

A special focus of the Deduktionstreffen is on young researchers and
students, who are particularly encouraged to present their ongoing
research projects to a wider audience. Another goal of the meeting is
to stimulate networking effects and to foster collaborative research
projects.

Deduktionstreffen 2026 takes place as a workshop at the KI conference,
which is colocated with the IJCAI conference.


Submission
----------
We welcome contributions on all theoretical, experimental and
application aspects of deduction. Informal submissions should be made
as abstracts (1–4 pages) in English. They must be submitted in pdf
format via easychair at https://urldefense.com/v3/__https://easychair.org/conferences/?conf=dt2026__;!!IBzWLUs!S50ho4UlNJDL6aCQ0fOSMaRu-aN5k2ULwxZMYOvTfRLfIobA_jT0aZgvgLRGhcXFuyt2tDRqdcSsK2ePIs572ym4QNCkxBzF204m$ 

Submissions will be accepted until June 30, but earlier submissions will
receive earlier notifications in time for the early-bird registration
deadline of KI.

Submissions will be collected and circulated as an informal collection
at the meeting and on the workshop homepage.


Topics include, but are not limited to:
---------------------------------------
* automated reasoning in propositional, first-order, higher-order, and
   non-classical logics
* implementation of provers (SAT, SMT, resolution, superposition,
   tableau, instantiation-based, rewriting, logical frameworks, etc.)
* automated reasoning tools for all kinds of practical problems and
   applications
* integration of automated reasoning and LLM tools
* practical experiences, usability aspects, feasibility studies
* evaluation of implementation techniques and automated reasoning tools
* performance aspects, benchmarking approaches; non-standard approaches
   to automated reasoning, non-standard forms of automated reasoning, new
   applications
* implementation techniques, optimisation techniques, machine learning,
   strategies and heuristics, fairness
* tools or methods that support prover development
* system descriptions and demos.


Organizers
----------
* Florian Rabe (University of Erlangen-Nuremberg)
* Uwe Waldmann (Max Planck Institute for Informatics)


Invited Speakers
----------------
* Till Mossakowski (University of Osnabrueck)
* TBD


Programme Committee
-------------------
* Christoph	Benzmüller (University Bamberg)
* Armin	Biere	(University of Freiburg)
* Carsten	Lutz (University Bremen)
* Lutz	Schröder	(University Erlangen-Nürnberg)
* Stephan	Schulz	(DHBW Stuttgart)
* Claudia	Schon (Hochschule Trier)
* Viorica	Sofronie-Stokkermans (University of Koblenz)
* To be completed