Home | Impressum | Sitemap | KIT
Termine

  • bis 05. Sep. 2010

    Einreichung von Vorträgen

  • 20. Sep. 2010

    Anmeldung: ab 13 Uhr, Beginn: 14 Uhr

  • 21. Sep. 2010

    Ende: 15:30 Uhr

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.