[DL] Weidenbach'60: First-Order Reasoning. Call for Papers

[geoff at cs.miami.edu]

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

Dear researcher,

[Apologies for the multiple cross-postings]

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

The workshop 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 (excluding bibliography, presentation only), and
2) full papers of up to 16 pages (excluding bibliography)
both in the Springer Computer Science Proceedings style (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) submitted via easychair (https://easychair.org/conferences/?conf=cade30).

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:
- Submission: May 28th, 2025
- Notification: July 2nd, 2025
- Workshop: August 1st, 2025

Organizers:
- Jasmin Blanchette
- Mathias Fleury
- Martin Suda
- Sophie Tourret