BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:2453-4554@fg-dedsys.gi.de
CLASS: PUBLIC
SUMMARY:Deduktionstreffen 2016
DESCRIPTION:Overview\n\nThe annual meeting Deduktionstreffen is the prime a
 ctivity of the Interest Group for Deduction Systems (FGDedSys) of the Germa
 n Informatics Society. It is a meeting with a familiar, friendly atmosphere
 , where everyone interested in deduction can report on their work in an inf
 ormal setting.\n\nA particular focus of the Deduktionstreffen is on young r
 esearchers and students, who are particularly encouraged to present their o
 ngoing research projects to a wider audience. Another goal of the meeting i
 s to stimulate networking effects and to foster collaborative research proj
 ects.\n\nOrganization\n\nWe welcome contributions on all theoretical, exper
 imental and application 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). [Update] This year's contributions will be pre
 sented in regular talks.\n\nThe Deduktionstreffen will also host the annual
  general meeting of the members of FGDedSys.\n\nDeduktionstreffen 2016 is a
 ssociated with KI 2016.  \n\nInvited Speakers\n\n 	Armin Biere, Johannes Ke
 pler University in Linz 	Cezary Kaliszyk, University of Innsbruck 	  \n\nRe
 gistration\n\nRegistration is open. For more information, please consult th
 e registration page of KI2016. Note that, as stated there, you may register
  for INFORMATIK and skip registering for KI if you only attend the Deduktio
 nstreffen.  \n\nProgram Committee\n\n 	Serge Autexier 	Bernhard Beckert 	Ch
 ristoph Benzmüller (co-chair) 	Christian Blanchette 	Jürgen Giesl 	Matthias
  Horbach (co-chair) 	Dieter Hutter 	Manfred Kerber 	Christoph Kreitz 	Jens 
 Otten 	Florian Rabe 	Stephan Schulz 	Viorica Sofronie-Stokkermans 	Volker S
 orge 	Christoph Weidenbach 	  \n\nOrganizers\n\n 	Matthias Horbach 	Christo
 ph Benzmüller 
LOCATION:Alpen-Adria-Universität Klagenfurt
DTSTAMP:20190506T123938Z
DTSTART:20160926T070000Z
DTEND:20160926T153000Z
END:VEVENT
END:VCALENDAR