BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:5652-4554@fg-dedsys.gi.de
CLASS: PUBLIC
SUMMARY:Deduktionstreffen 2023
DESCRIPTION:Overview\n\nThe annual meeting Deduktionstreffen is the prime a
 ctivity of the Special Interest Group on Deduction Systems (FG DedSys) of t
 he AI Section of the German Society for Informatics (GI-FBKI). It is a meet
 ing with a familiar, friendly atmosphere, where everyone interested in dedu
 ction can report on their work in an informal setting.\n\nA special focus o
 f the Deduktionstreffen is on young researchers and students, who are parti
 cularly encouraged to present their ongoing research projects to a wider au
 dience. Another goal of the meeting is to stimulate networking effects and 
 to foster collaborative research projects.  \n\nOrganization\n\nDeduktionst
 reffen 2023 is associated with the German KI 2023, which brings together ac
 ademic and industrial researchers from all areas of AI, providing an ideal 
 place for exchanging news and research results of intelligent system techno
 logy. The Deduktionstreffen will also host the annual general meeting of th
 e members of FGDedSys.\n\nWe welcome contributions on all theoretical, expe
 rimental and application aspects of deduction. \n\nInvited Talks\n\nChristo
 ph Benzmüller Who finds the short proof?\n\nPatrick Koopmann Explaining Rea
 soning for Description Logic Ontologies\n\n\n\nSubmission\n\nSubmission is 
 open to everybody interested in deduction systems.\n\nPlease submit an exte
 nded abstract (max. two pages) of your contribution via EasyChair: https://
 easychair.org/conferences/?conf=dt2023\n\nEarly bird submission: July 1, 20
 23 Standard submission: August 1, 2023 August 7, 2023\n\nEarly bird submiss
 ion is meant to allow planning reliability to interested students and resea
 rchers, e.g. if they would like to apply for travel grants. In particular, 
 there are KI 2023 student travel grants available (see KI 2023 Travel Grant
 s) and further travel support is funded by the AI chapter of the German Ges
 ellschaft für Informatik (for members, see here).\n\n\n\nProgram Overview\n
 \nVenue: Hochschule für Technik und Wirtschaft Berlin (HTW Berlin) - Campus
  Wilhelminenhof Room C 256\n\n\n\n 	 		 			Time 			Program 		 		 			10:00 -
  11:00 			 			Session 1 			Welcome address 			Invited Talk by Christoph Ben
 zmüller (Otto-Friedrich-Universität Bamberg): Who finds the short proof? 		
 	  			 		 		 			11:00 - 11:30 			Coffee break 		 		 			11:30 - 12:30 			 		
 	Session 2 			Moritz Bayerkuhnlein: Exploring Diagnosis with Theorem Prover
 s: Computational Logic and Models 			Melanie Taprogge: Automated Reasoning 
 in Customizable First-Order Multi-Modal Logic Set-Ups 			 		 		 			12:30 - 
 14:00 			Lunch break 		 		 			14:00 - 15:30 			 			Session 3 			Invited Tal
 k by Patrick Koopmann (Vrije Universiteit Amsterdam): Explaining Reasoning 
 for Description Logic Ontologies 			Christoph Wernhard: Proof Structure Ter
 ms in First-Order ATP 			 		 		 			15:30 - 16:00 			Coffee break 		 		 			1
 6:00 - 16:30 			 			Session 4 			Business Meeting (Mitgliederversammlung) 	
 		 		 	 \n\n\n\nProgram Committee\n\n 	Franz Baader 	Jasmin Blanchette 	Jür
 gen Giesl 	Cezary Kaliszyk 	Jens Otten 	Florian Rabe (co-chair) 	Claudia Sc
 hon (co-chair) 	Viorica Sofronie-Stokkermans 	Alexander Steen  	Frieder Sto
 lzenburg 	Uwe Waldmann \n\n\n\nOrganizers\n\n 	Florian Rabe 	Claudia Schon 
LOCATION:HTW Berlin - Campus Wilhelminenhof
DTSTAMP:20230924T162022Z
DTSTART:20230926T070000Z
DTEND:20230926T150000Z
END:VEVENT
END:VCALENDAR