DT 2026: Deduktionstreffen 2026
CANCELLED This would have been the annual workshop and membership meeting of the Fachgruppe is a meeting with an informal and friendly atmosphere, where everyone (not only the German community) interested in deduction systems and related topics can report on their work in an accessible setting.
Beschreibung
CANCELLED
Deduktionstreffen 2026 was planned to take place in Bremen as a part of the German conference on Artificial Intelligence (KI 2026), which itself is co-located with the International Joint Conference on Artificial Intelligence (IJCAI 2026).
See https://conferences.mpi-inf.mpg.de/dt-26/ for details.