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/2025/newsitem/15553/1-
 August-2025-Deduktionstreffen-2025-Stuttgart-Germa
 ny
DTSTAMP:20250331T141547
SUMMARY:Deduktionstreffen 2025, Stuttgart, Germany
DTSTART;VALUE=DATE:20250801
DTEND;VALUE=DATE:20250801
LOCATION:Stuttgart, Germany
DESCRIPTION:The annual Deduktionstreffen (German f
 or ``deduction meeting'') is the prime activity of
  the Special Interest Group on Deduction Systems o
 f the AI Chapter(Fachbereich KI) of the German Soc
 iety of Informatics (Gesellschaft fuer Informatik,
  GI). This year it will be organized jointly with 
 the special interest group on Knowledge Representa
 tion and Reasoning, as part of CADE-30.  It has a 
 long tradition for being a meeting place for the G
 erman community on automated reasoning with an inf
 ormal and friendly atmosphere. Submissions by rese
 archers from neighboring or otherwise related coun
 tries are very welcome as well. A special focus of
  the workshop is on young researchers and students
 , who are particularly encouraged to present ongoi
 ng projects to a wider audience.  Informal submiss
 ions should be made as abstracts (up to 1 page) wi
 thout special formatting. They will be published o
 nline and be available during the workshop.Full pa
 pers should be formatted in CEUR style (2-column s
 tyle) without header and footer. The length of the
 se papers should not exceed 8-12 pages. All submis
 sions must be written in English and submitted in 
 PDF format via EasyChair (select the track "Dedukt
 ionstreffen").
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The annua
 l Deduktionstreffen (German for ``deduction meetin
 g'') is the prime activity of the Special Interest
  Group on Deduction Systems of the AI Chapter(Fach
 bereich KI) of the German Society of Informatics (
 Gesellschaft fuer Informatik, GI). This year it wi
 ll be organized jointly with the special interest 
 group on Knowledge Representation and Reasoning, a
 s part of CADE-30.</p>\n  <p>It has a long traditi
 on for being a meeting place for the German commun
 ity on automated reasoning with an informal and fr
 iendly atmosphere. Submissions by researchers from
  neighboring or otherwise related countries are ve
 ry welcome as well. A special focus of the worksho
 p is on young researchers and students, who are pa
 rticularly encouraged to present ongoing projects 
 to a wider audience.</p>\n</div><div>\n  <p>Inform
 al submissions should be made as abstracts (up to 
 1 page) without special formatting. They will be p
 ublished online and be available during the worksh
 op.Full papers should be formatted in CEUR style (
 2-column style) without header and footer. The len
 gth of these papers should not exceed 8-12 pages. 
 All submissions must be written in English and sub
 mitted in PDF format via <a href="https://easychai
 r.org/conferences/?conf=cade30" target="_blank" re
 l="noopener">EasyChair</a> (select the track &quot
 ;Deduktionstreffen&quot;).</p>\n</div>
URL:https://dt2025.krportal.org/
END:VEVENT
END:VCALENDAR