[Event at CIG] Deduktionstreffen 2026

[geoff at cs.miami.edu]

*** Call for Papers – apologies for cross-posting ***           

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

                       Deduktionstreffen 2026

                  August 11, 2026, Bremen, Germany

        Web site: https://conferences.mpi-inf.mpg.de/dt-26/
          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://easychair.org/conferences/?conf=dt2026

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)
* Jasmin Blanchette (LMU München)
* Christoph Lüth (DFKI Bremen)
* Carsten Lutz (University Bremen)
* Claudia Schon (Hochschule Trier)
* Lutz Schröder (University Erlangen-Nuremberg)
* Stephan Schulz (DHBW Stuttgart)
* Viorica Sofronie-Stokkermans (University of Koblenz)