Please note that this newsitem has been archived, and may contain outdated information or links.
1 August 2025, Weidenbach'60 – First-Order Reasoning, Below and Beyond, Stuttgart, Germany
Weidenbach'60, a workshop in celebration of Prof. Christoph Weidenbach's 60th birthday, is taking place on August 1st, 2025, Stuttgart, Germany, as an event co-located with CADE-30.
Christoph is a well-known figure in the automated reasoning community, a leader of the Automation of Logic group at Max-Planck-Institut für Informatik, Saarbrucken, 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 and SMT solving, combination of theories, rewriting, and automated verification. We solicit 1) extended abstracts of up to 4 pages (presentation only), and 2) full papers of up to 16 pages (excluding bibliography) both in the Springer Computer Science Proceedings style submitted via easychair.
Full papers will be published in a Festschrift, LNCS series of Springer, after the event. The authors of long papers are expected to take part in and help with the reviewing process.
Please note that this newsitem has been archived, and may contain outdated information or links.