Deduktionstreffen 2011
20./21. Oktober 2011, 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 (8min als "Teaser" für die Diskussion am Poster) und Poster Sessions von potentiell allen Teilnehmern, dazu drei eingeladene Vorträge:
- Ulrich Furbach: First-order Tableaux in Open Domain Question Answering
- Thomas Sturm: Effective Quantifier Elimination - Implementations, Applications, Perspectives
- Christof Teuscher: A Modern Perspective on Turing's Unorganized Machines
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 2011 findet gleichzeitig mit der COMPUTING 2011 am Karlsruher Institut für Technologie (KIT) statt. Die Teilnahmegebühr zum Deduktionstreffen berechtigt gleichzeitig zur Teilnahme am Symposium COMPUTING 2011.
Im Rahmen des Deduktionstreffens findet auch die Jahresmitgliederversammlung der Fachgruppe statt.