BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:2452-4554@fg-dedsys.gi.de
CLASS: PUBLIC
SUMMARY:Deduktionstreffen 2019
DESCRIPTION: 	 		 			The informal proceedings of Deduktionstreffen 2019 are
  online. Please click on this link to download them. 		 	 \n\nOverview\n\nT
 he annual meeting Deduktionstreffen is the prime activity of the Special In
 terest Group on Deduction Systems (FG DedSys) of the AI Section of the Germ
 an Society for Informatics (GI-FBKI). It is a meeting with a familiar, frie
 ndly atmosphere, where everyone interested in deduction can report on their
  work in an informal setting.\n\nA special focus of the Deduktionstreffen i
 s on young researchers and students, who are particularly encouraged to pre
 sent their ongoing research projects to a wider audience. Another goal of t
 he meeting is to stimulate networking effects and to foster collaborative r
 esearch projects.  \n\nOrganization\n\nDeduktionstreffen 2019 is associated
  with the German KI 2019, which brings together academic and industrial res
 earchers from all areas of AI, providing an ideal place for exchanging news
  and research results of intelligent system technology. The Deduktionstreff
 en will also host the annual general meeting of the members of FGDedSys.\n\
 nWe welcome contributions on all theoretical, experimental and application 
 aspects of deduction. Accepted abstracts are first presented in an approx. 
 15 minute teaser talk and then discussed next to a poster (maximal size: A0
  portrait). The exact maximal time per talk will be adjusted on short notic
 e depending on the overall number of submissions.\n\nSubmission\n\nSubmissi
 on is open to everybody interested in deduction systems.\n\nPlease submit a
 n extended abstract (max. two pages) of your contribution via EasyChair: ht
 tps://easychair.org/conferences/?conf=dt2019\n\nEarly bird submission: July
  5 (Notification: July 15) Standard submission: August 5 (Notification: Aug
 ust 15)\n\nEarly bird submission is meant to allow planning reliability to 
 interested students and researchers, e.g. if they would like to apply for t
 ravel grants. In particular, there are KI 2019 student travel grants availa
 ble (see KI 2019 Student Travel Grants) and further travel support is funde
 d by the AI chapter of the German Gesellschaft für Informatik (for members,
  see here).\n\nProgram Overview\n\nVenue: University of Kassel (Arnold-Bode
 -Straße 2, Kassel, Germany) Approx. 2-3 minutes walking distance from the K
 I 2019 main venue, see also this route description. Room 0402\n\nSee also t
 he detailed program at the program tab ("Programm") at the top of this page
 .\n\n 	 		 			Time 			Program 		 		 			11:00 - 12:30 			 			Session 1 			We
 lcome address 			Invited Talk by Konstantin Korovin (U Manchester): Solving
  non-linear constraints in the CDCL style 			 			Contributed Talks 1-2 			 
 		 		 			12:30 - 14:00 			Lunch break* 		 		 			14:00 - 15:30 			 			Sessio
 n 2 			Contributed Talks 3-11 			 		 		 			15:30 - 16:00 			Coffee break an
 d poster session 		 		 			16:00 - 17:30 			 			Session 3 			Business meetin
 g (Mitgliederversammlung) 			 		 	 \n\n*: Please set-up your posters during
  the lunch break at the latest.\n\nThe informal proceedings of the Deduktio
 nstreffen are available here.\n\nInvited Speakers\n\n 	Konstantin Korovin (
 U Manchester) \n\nProgram Committee\n\n 	Serge Autexier 	Bernhard Beckert 	
 Christoph Benzmüller 	Jasmin Blanchette 	Jürgen Giesl 	Manfred Kerber 	Jens
  Otten 	Florian Rabe 	Claudia Schon (co-chair) 	Stephan Schulz 	Viorica Sof
 ronie-Stokkermans 	Alexander Steen (co-chair) 	Uwe Waldmann \n\nOrganizers\
 n\n 	Alexander Steen (University of Luxembourg) 	Claudia Schon (University 
 Koblenz-Landau) 
LOCATION:Universität Kassel
DTSTAMP:20200722T142259Z
DTSTART:20190923T090000Z
DTEND:20190923T153000Z
END:VEVENT
END:VCALENDAR