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.

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 Format der Veranstaltung ist wie folgt: Akzeptierte Beiträge werden zunächst durch einen 5-minütigen Kurzvortrag vorgestellt und dann an einem Poster näher diskutiert.

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

Das Deduktionstreffen 2015 ist assoziiert mit der 25. Conference on Automated Deduction (CADE-25).


Lade Karte ...

Date/Time
Date(s) - 02/08/2015 - 03/08/2015
All Day

Location
Freie Universität Berlin, Takustraße 9

Categories

Web
http://conference.imp.fu-berlin.de/cade-25/dt


Deduktionstreffen 2015