DT 2026

Deduktionstreffen 2026

Meeting at the 49th German Conference on Artificial Intelligence (KI2026)
August 11, 2026, Bremen, Germany
Organized by the SIG Deductive Systems of the GI

Aims and Scope

Automated Reasoning is a core field of artificial intelligence research with a focus on the development of models, procedures, and software for the computer-assisted automation of logical reasoning. While automated reasoning is a quite broad and diverse field including many different types of formal systems, automated deduction specializes on the problem of correctly and efficiently deriving deductive conclusions from given assumptions, usually formulated in a formal logical language.

The annual Workshop Deduktionstreffen (German, roughly translates to “deduction meeting”) is the prime activity of the Special Interest Group on Deduction Systems (Fachgruppe Deduktionssysteme) of the AI Chapter (Fachbereich KI) of the German Society of Informatics (Gesellschaft fuer Informatik, GI).

The Deduktionstreffen is an international meeting with an informal and friendly atmosphere, where everyone interested in deduction systems and related topics can report on their work in an accessible setting. It has a long tradition for being a meeting place for the German community on automated reasoning. 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 their ongoing research projects to a wider audience, and to receive constructive feedback from more experienced participants. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects.

Call for Papers

The Call for Papers can be found here.

Workshop Organizers and Co-Chairs

Important Dates

Local Information

Local information can be found on the web pages of the KI2026 conference.

Last modified 2026-05-11