Deduktionstreffen 2009

Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Es ist ein familiäres Treffen, auf dem alle, die an der Deduktion interessiert sind, über ihre Arbeit in einem informellem Rahmen berichten können.

Das Deduktionstreffen findet am 15. und 16. Oktober 2009 an der Jacobs University Bremen statt. Der Tagungsbeitrag ist 40 Euro. Darin enthalten sind die Kaffeepausen, sowie ein Mittagessen, ein Abendessen und after-dinner-drinks/cheese im Jacobs Faculty Club (siehe Programm).

Das Rundum-Sorglos-Paket mit einer Übernachtung im College Nordmetall auf dem Campus und allen Mahlzeiten (2 Mittagessen, 1 Abendessen und 1 Frühstück) beträgt 100 Euro.

Wir alle sind für das Programm verantwortlich. Es wird aus wissenschaftlichen Beiträgen in Form von kurzen "Teaser" Vorträgen und Posterpräsentationen, oder Systemvorführungen bestehen. Dazu kommen eingeladene Vorträge und viel Raum zur Diskussion. Diese Form hat sich bereits beim letzten Treffen in Koblenz bewährt.

Im Rahmen des Deduktionstreffens findet auch die Jahresmitgliederversammlung der Fachgruppe statt.