Home | Impressum | Sitemap | KIT
Termine

  • bis 09. Okt. 2011

    Einreichung von Vorträgen

  • 20. Okt. 2011

    Anmeldung: ab 11:30 Uhr

    Beginn: 12:45 Uhr

  • 21. Okt. 2011

    Ende: 18 Uhr

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.