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/15433/28
 -July---2-August-2025-The-30th-International-Confe
 rence-on-Automated-Deduction-CADE-30-Stuttgart-Ger
 many
DTSTAMP:20250331T140835
SUMMARY:The 30th International Conference on Autom
 ated Deduction (CADE-30), Stuttgart, Germany
DTSTART;VALUE=DATE:20250728
DTEND;VALUE=DATE:20250802
LOCATION:Stuttgart, Germany
DESCRIPTION:CADE is the major international forum 
 for presenting research on all aspects of automate
 d deduction. CADE-30 aims to present research that
  reflects the broad range of interesting and relev
 ant topics in automated deduction. The conference 
 program includes invited talks, paper presentation
 s, workshops, tutorials, and system competitions. 
   High-quality submissions on the general topic of
  automated deduction, including logical foundation
 s, theory and principles, applications in and beyo
 nd computer science and mathematics, and implement
 ations of automated reasoning systems are solicite
 d.  Submissions can be made in two categories: Reg
 ular papers (up to 15 pages excluding references) 
 and Short papers (up to 10 pages, this includes sy
 stem descriptions, user experiences, case studies 
 and domain models). Submissions must be unpublishe
 d and not submitted for publication elsewhere.  Se
 lected accepted papers will be considered by the P
 rogram Committee for the CADE Best Paper Award or 
 Best Student Paper Award (provided that at least o
 ne author is a student).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>CADE is t
 he major international forum for presenting resear
 ch on all aspects of automated deduction. CADE-30 
 aims to present research that reflects the broad r
 ange of interesting and relevant topics in automat
 ed deduction. The conference program includes invi
 ted talks, paper presentations, workshops, tutoria
 ls, and system competitions.&nbsp;</p>\n</div><div
 >\n  <p>High-quality submissions on the general to
 pic of automated deduction, including logical foun
 dations, theory and principles, applications in an
 d beyond computer science and mathematics, and imp
 lementations of automated reasoning systems are so
 licited.</p>\n  <p>Submissions can be made in two 
 categories: Regular papers (up to 15 pages excludi
 ng references) and Short papers (up to 10 pages, t
 his includes system descriptions, user experiences
 , case studies and domain models). Submissions mus
 t be unpublished and not submitted for publication
  elsewhere.&nbsp; Selected accepted papers will be
  considered by the Program Committee for the CADE 
 Best Paper Award or Best Student Paper Award (prov
 ided that at least one author is a student).</p>\n
 </div>
URL:https://www.dhbw-stuttgart.de/cade-30/
CONTACT:cade30 at easychair.org
END:VEVENT
END:VCALENDAR