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/15628/1-
 August-2025-Weidenbach-60-–-First-Order-Reasoning-
 Below-and-Beyond-Stuttgart-Germany
DTSTAMP:20250515T153735
SUMMARY:Weidenbach'60 – First-Order Reasoning, Bel
 ow and Beyond, Stuttgart, Germany
DTSTART;VALUE=DATE:20250801
DTEND;VALUE=DATE:20250801
LOCATION:Stuttgart, Germany
DESCRIPTION:Weidenbach'60, a workshop in celebrati
 on of Prof. Christoph Weidenbach's 60th birthday, 
 is taking place on August 1st, 2025, Stuttgart, Ge
 rmany, as an event co-located with CADE-30.  Chris
 toph is a well-known figure in the automated reaso
 ning community, a leader of the Automation of Logi
 c group at Max-Planck-Institut für Informatik, Saa
 rbrucken, a former president of CADE Inc, and the 
 main developer of the well-known automatic prover 
 SPASS.  We invite contributions in areas close to 
 Christoph’s research, including but not limited to
  first-order reasoning, decidable fragments, SAT a
 nd SMT solving, combination of theories, rewriting
 , and automated verification. We solicit 1) extend
 ed abstracts of up to 4 pages (presentation only),
  and 2) full papers of up to 16 pages (excluding b
 ibliography) both in the Springer Computer Science
  Proceedings style submitted via easychair.  Full 
 papers will be published in a Festschrift, LNCS se
 ries of Springer, after the event. The authors of 
 long papers are expected to take part in and help 
 with the reviewing process.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Weidenbac
 h'60, a workshop in celebration of Prof. Christoph
  Weidenbach's 60th birthday, is taking place on Au
 gust 1st, 2025, Stuttgart, Germany, as an event co
 -located with CADE-30.</p>\n  <p>Christoph is a we
 ll-known figure in the automated reasoning communi
 ty, a leader of the Automation of Logic group at M
 ax-Planck-Institut für Informatik, Saarbrucken, a 
 former president of CADE Inc, and the main develop
 er of the well-known automatic prover SPASS.</p>\n
 </div><div>\n  <p>We invite contributions in areas
  close to Christoph’s research, including but not 
 limited to first-order reasoning, decidable fragme
 nts, SAT and SMT solving, combination of theories,
  rewriting, and automated verification. We solicit
  1) extended abstracts of up to 4 pages (presentat
 ion only), and 2) full papers of up to 16 pages (e
 xcluding bibliography) both in the <a href="https:
 //www.springer.com/gp/computer-science/lncs/confer
 ence-proceedings-guidelines">Springer Computer Sci
 ence Proceedings style</a> submitted via <a href="
 https://easychair.org/conferences/?conf=cade30">ea
 sychair</a>.</p>\n  <p>Full papers will be publish
 ed in a Festschrift, LNCS series of Springer, afte
 r the event. The authors of long papers are expect
 ed to take part in and help with the reviewing pro
 cess.</p>\n</div>
URL:https://cca.informatik.uni-freiburg.de/weidenb
 ach60/
END:VEVENT
END:VCALENDAR