[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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7Com-announce%40openmath.org%7Cd22c6855f60d4705e57d08dd8cc88433%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638821515023535046%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=wRGVGdcnC%2F%2FeQXr4aK8dPb1Q%2Bq2ZregndaeDzDmjpD4%3D&reserved=0) submitted via easychair (https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dcade30&data=05%7C02%7Com-announce%40openmath.org%7Cd22c6855f60d4705e57d08dd8cc88433%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638821515023556123%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=nRjbX9Fln8rq8uxtIddORbaSukS9sFdxMJPRgVW54BY%3D&reserved=0). 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
_______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
