Please note that this newsitem has been archived, and may contain outdated information or links.
26 September 2023, Deduktionstreffen 2023 (DT 2023), Berlin, Germany
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 Society of Informatics (Gesellschaft für Informatik). It is a meeting with a familial atmosphere, where everyone (not only the German community) interested in deduction can report on their work in a friendly 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 2023 is affiliated with the German KI 2023, which brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology.
We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in short teaser talk and then discussed next to a poster (maximal size: A0 portrait) or tool demo. Please submit an extended abstract (max. 2 pages) via EasyChair. There will be no formal publication of the accepted submissions. The organizers, however, leave open the possibility to organize post-proceedings, possibly as joint workshop proceedings with other workshops at the KI 2023.
Please note that this newsitem has been archived, and may contain outdated information or links.