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:
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.
\n\nA 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.
We welcome con tributions on all theoretical, experimental and ap plication aspects of deduction. Accepted abstracts are first presented in a five minute teaser talk and then discussed next to a poster (maximal size: A0 portrait).