Deduktionstreffen 2025Workshop bei der CADE-30 in Stuttgart

1. August 2025

Das jährliche Deduktionstreffen ist ein Workshop der Fachgruppe zu Deduktionssystemen des Fachbereichs KI der Gesellschaft für Informatik (GI). In diesem Jahr wird sie gemeinsam mit der Fachgruppe  „Wissensrepräsentation und Schließen" (Sprecher: Kai Sauerwald, stellvertretender Sprecher: Özgür Lütfü Özçep) organisiert.  Organisatoren sind Florian Rabe (Universität Erlangen), Kai Sauerwald (Fernuniversität Hagen), Uwe Waldmann (Max-Planck-Institut für Informatik) und Özgür Lütfü Özçep (Universität Hamburg, CHAI). Der Workshop findet am 1.8.2025 im Kontext von CADE-30 (30th International Conference on Automated Deduction) in Stuttgart statt. Einreichungen zum Workshop werden bis zum 1. Mai 2025 unter EasyChair (https://easychair.org/conferences/?conf=cade30) erbeten.  Weitere Informationen finden sich auf der Webseite https://dt2025.krportal.org/.