DT2023: Deduktionstreffen 2023
Veranstaltungsort
HTW Berlin - Campus WilhelminenhofWilhelminenhofstraße 75A
12459 Oberschöneweide, Berlin, Deutschland
Beschreibung
Overview
The annual meeting Deduktionstreffen is the prime activity of the Special Interest Group on Deduction Systems (FG DedSys) of the AI Section of the German Society for Informatics (GI-FBKI). It is a meeting with a familiar, friendly atmosphere, where everyone 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.
Organization
Deduktionstreffen 2023 is associated 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. The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys.
We welcome contributions on all theoretical, experimental and application aspects of deduction.
Invited Talks
Christoph Benzmüller Who finds the short proof?
Patrick Koopmann Explaining Reasoning for Description Logic Ontologies
Submission
Submission is open to everybody interested in deduction systems.
Please submit an extended abstract (max. two pages) of your contribution via EasyChair: https://easychair.org/conferences/?conf=dt2023
Early bird submission: July 1, 2023
Standard submission: August 1, 2023 August 7, 2023
Early bird submission is meant to allow planning reliability to interested students and researchers, e.g. if they would like to apply for travel grants. In particular, there are KI 2023 student travel grants available (see KI 2023 Travel Grants) and further travel support is funded by the AI chapter of the German Gesellschaft für Informatik (for members, see here).
Program Overview
Venue: Hochschule für Technik und Wirtschaft Berlin (HTW Berlin) - Campus Wilhelminenhof
Room C 256
| Time | Program |
| 10:00 - 11:00 | Session 1 Welcome address |
| 11:00 - 11:30 | Coffee break |
| 11:30 - 12:30 | Session 2 Moritz Bayerkuhnlein: Exploring Diagnosis with Theorem Provers: Computational Logic and Models Melanie Taprogge: Automated Reasoning in Customizable First-Order Multi-Modal Logic Set-Ups |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 15:30 | Session 3 Invited Talk by Patrick Koopmann (Vrije Universiteit Amsterdam): Explaining Reasoning for Description Logic Ontologies Christoph Wernhard: Proof Structure Terms in First-Order ATP |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 16:30 | Session 4 Business Meeting (Mitgliederversammlung) |
Program Committee
- Franz Baader
- Jasmin Blanchette
- Jürgen Giesl
- Cezary Kaliszyk
- Jens Otten
- Florian Rabe (co-chair)
- Claudia Schon (co-chair)
- Viorica Sofronie-Stokkermans
- Alexander Steen
- Frieder Stolzenburg
- Uwe Waldmann
Organizers
- Florian Rabe
- Claudia Schon