First-Order Reasoning, Below and Beyond: Workshop in Honor of Christoph Weidenbach’s 60th Birthday

This workshop is organized to honor and celebrate the 60th birthday of Christoph Weidenbach, a well-known figure in the automated reasoning community.

The workshop will be part of CADE-30 in Stuttgart. It will be held on August 1st, 2025.

We currently plan post-proceedings with Springer to be published later.

Scope

Relevant topics include but are not limited to:

• First-order reasoning
• SAT solving
• SMT solving
• Rewriting
• CNF transformation

Call For Paper

Weidenbach’60: First-Order Reasoning, Below and Beyond: Workshop in Honor of Christoph Weidenbach’s 60th Birthday. August 1st, 2025, Stuttgart, Germany co-located with CADE-30

We invite you to contribute to Weidenbach’60, a workshop in celebration of Prof. Christoph Weidenbach’s 60th birthday.

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.

Important dates

• Extended Abstract: May 28th, 2025, extended to June 5th, 2025 (AoE)
• Notification: July 2nd, 2025
• Workshop: August 1, 2025

Program

Preliminary program:

Organizers

• Jasmin Blanchette
• Mathias Fleury
• Martin Suda
• Sophie Tourret