BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1050-2246@fb-ki.gi.de
CLASS: PUBLIC
SUMMARY:Deduktionstreffen 2015
DESCRIPTION:Das jährlich stattfindende Deduktionstreffen ist die wichtigste
  Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Es ist ein fam
 iliäres, freundliches Treffen, auf dem alle, die an der Deduktion  interess
 iert sind, über ihre Arbeit in informellem Rahmen berichten können.\n\nWie 
 immer ist es auch die Idee des Treffens, gerade jungen Doktoranden und Nach
 wuchswissenschaftlern die Möglichkeit zu geben, über ihre Arbeiten zu beric
 hten. Das Format der Veranstaltung ist wie folgt: Akzeptierte Beiträge werd
 en zunächst durch einen 5-minütigen Kurzvortrag vorgestellt und dann an ein
 em Poster näher diskutiert.\n\nIm Rahmen des Deduktionstreffens findet auch
  die Jahresmitgliederversammlung der Fachgruppe 1.2.1 Deduktionssysteme sta
 tt.\n\nDas Deduktionstreffen 2015 ist assoziiert mit der 25. Conference on 
 Automated Deduction (CADE-25).
LOCATION:Freie Universität Berlin
DTSTAMP:20181211T130352Z
DTSTART:20150802T120000Z
DTEND:20150803T100000Z
END:VEVENT
END:VCALENDAR