BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2017/newsitem/9185/25-
 --26-September-2017-Deduktionstreffen-2017-Dortmun
 d-Germany
DTSTAMP:20170706T170236
SUMMARY:Deduktionstreffen 2017, Dortmund, Germany
DTSTART;VALUE=DATE:20170925
DTEND;VALUE=DATE:20170926
LOCATION:Dortmund, Germany
DESCRIPTION:The annual meeting Deduktionstreffen i
 s the prime activity of the Interest Group for Ded
 uction Systems (FGDedSys) of the German Informatic
 s Society. It is a meeting with a familiar, friend
 ly atmosphere, where everyone (not only the German
  community) interested in deduction can report on 
 their work in an informal setting.  A particular f
 ocus of the Deduktionstreffen is on young research
 ers and students, who are particularly encouraged 
 to present their ongoing research projects to a wi
 der audience. Another goal of the meeting is to st
 imulate networking effects and to foster collabora
 tive research projects. Deduktionstreffen 2017 is 
 associated with KI 2017.  We welcome contributions
  on all theoretical, experimental and application 
 aspects of deduction. Accepted abstracts are first
  presented in a five minute teaser talk and then d
 iscussed next to a poster (maximal size: A0 portra
 it).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The annua
 l meeting Deduktionstreffen is the prime activity 
 of the Interest Group for Deduction Systems (FGDed
 Sys) of the German Informatics Society. It is a me
 eting with a familiar, friendly atmosphere, where 
 everyone (not only the German community) intereste
 d in deduction can report on their work in an info
 rmal setting.</p>\n\n  <p>A particular focus of th
 e Deduktionstreffen is on young researchers and st
 udents, who are particularly encouraged to present
  their ongoing research projects to a wider audien
 ce. Another goal of the meeting is to stimulate ne
 tworking effects and to foster collaborative resea
 rch projects. Deduktionstreffen 2017 is associated
  with KI 2017.</p>\n</div><div>\n  <p>We welcome c
 ontributions on all theoretical, experimental and 
 application aspects of deduction. Accepted abstrac
 ts are first presented in a five minute teaser tal
 k and then discussed next to a poster (maximal siz
 e: A0 portrait).</p>\n</div>
URL:http://fg-dedsys.gi.de/dt2017
END:VEVENT
END:VCALENDAR