Dear researcher, Due to several requests from the community we are extending the submission deadline for Weidenbach'60 (workshop in celebration of Prof. Christoph Weidenbach's 60th birthday) by 8 days!
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcca.informatik.uni-freiburg.de%2Fweidenbach60%2F&data=05%7C02%7Com-announce%40openmath.org%7Cde880fcf50774a2c074108dd9c730575%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638838740002485977%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=3k5AnpiXKG01CK8ywJlWIzzN2I8UX4VEhuMrxzonajo%3D&reserved=0 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%7Cde880fcf50774a2c074108dd9c730575%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638838740002511635%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=wC%2BdZARSt%2FrkJcw88HlPO248EQ4g5m9drmVL6O123Vc%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%7Cde880fcf50774a2c074108dd9c730575%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638838740002527252%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=lJGuUTL%2BCNTjpj7dqZSsqaGdOuZm8NVViq72LgZmKb4%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: June 5th, 2025 (AoE) - 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
