Deduktionstreffen 2010
20./21. September 2010, KIT
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.
Wir wollen das Konzept beibehalten, das sich in den letzten Jahren bewährt hat: eine Mischung aus Kurzvorträgen (max 10min als "Teaser" für die Diskussion am Poster) und Poster Sessions von potentiell allen Teilnehmern, dazu zwei eingeladene Vorträge:
- Matthias Baaz: Towards a proof theory of analogical reasoning
- Gregor Snelting: Quis Custodiet Ipsos Custodes?
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 Deduktionstreffen 2010 findet gleichzeitig mit der KI 2010 am Karlsruher Institut für Technologie (KIT) statt.
Im Rahmen des Deduktionstreffens findet auch die Jahresmitgliederversammlung der Fachgruppe statt.