Beschreibung
Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Es ist ein familiäres, freundliches Treffen, auf dem alle, die an der Deduktion interessiert sind, über ihre Arbeit in informellem Rahmen berichten können.
Wie immer ist es auch die Idee des Treffens, gerade jungen Doktoranden und Nachwuchswissenschaftlern die Möglichkeit zu geben, über ihre Arbeiten zu berichten. Das Format der Veranstaltung ist wie folgt: Akzeptierte Beiträge werden zunächst durch einen 5-minütigen Kurzvortrag vorgestellt und dann an einem Poster näher diskutiert.
Im Rahmen des Deduktionstreffens findet auch die Jahresmitgliederversammlung der Fachgruppe 1.2.1 Deduktionssysteme statt.
Das Deduktionstreffen 2015 ist assoziiert mit der 25. Conference on Automated Deduction (CADE-25).
Programm
Sonntag, 2. August
- 14:00-15:00: Renate Schmidt, Eingeladener Vortrag: Practical Forgetting and Uniform interpolation for Description Logics (abstract)
- 15:00-15:40: Kurzpräsentationen zu Poster Session I (siehe oben; 5 min pro Vortrag)
- 15:40-16:00: Kaffeepause
- 16:00-17:00: Poster Session I
- 17:00-17:30: Fachgruppentreffen
Montag, 3. August
- 09:00-10:00: Wolfgang Lenzen, Eingeladener Vortrag: Leibniz’s Dream of a Logico-Mathematical Metaphysics
- 10:00-10:40: Kurzpräsentationen zu Poster Session II (siehe oben; 5 min pro Vortrag)
- 10:40-11:00: Kaffeepause
- 11:00-12:00: Poster Session II