[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
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
