[PVS] [EXTERNAL] CADE-30 Call for Papers

, MPI for Informatics Bohua Zhan, Huawei Technologies Co., Ltd. Yoni Zohar, Bar-Ilan University CONFERENCE CHAIR Stephan Schulz, DHBW Stuttgart WORKSHOP CHAIR Sophie Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, University of Miami CONTACTS All questions about CADE-30 paper submissions should b

[PVS] [EXTERNAL] CADE-30 Call for Colocated Events: **deadline November 11th**

--- CADE 30 Call for Colocated Events TLDR: Deadline next week on **November 11th**. Submit your proposals for colocated events this week! The 30th International Conference on Automated Deduction (CADE-30) is soliciting pro

[PVS] [EXTERNAL] Workshop on Theorem Proving and Machine Learning

The Workshop Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives will take place in Edinburgh, Scotland, UK, April 7th-8th 2025, organised by Ekaterina Komendantskaya, Elizabeth Polgreen, Michael Rawson, Christian Saemann, Kathrin Stark. The event is supported

[PVS] [EXTERNAL] CADE-30 Call for Papers

emal Uncu, University of Bath Uwe Waldmann, MPI for Informatics Christoph Weidenbach, MPI for Informatics Bohua Zhan, Huawei Technologies Co., Ltd. Yoni Zohar, Bar-Ilan University CONFERENCE CHAIR Stephan Schulz, DHBW Stuttgart WORKSHOP CHAIR Sophie Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, U

[PVS] [EXTERNAL] AAAI 2025 Tutorial on Machine Learning for Solvers

What: AAAI 2025 Tutorial on Machine Learning for Solvers When: 2-6 PM ET, Wednesday Feb 26th, 2025 Where: Philadelphia, PA, USA Web: https://ml-for-solvers.github.io/ Registration: https://aaai.org/conference/aaai/aaai-25/registration/ Signup: To save some money, please signup by Jan 20, 2025 More

[PVS] [EXTERNAL] FroCoS 2025 - Call for Papers

=== FroCoS 2025 - Call for Papers The 15th International Symposium on Frontiers of Combining Systems Reykjavik, Iceland, September 27 - October 3, 2025 Website: https://icetcs.github.io/frocos-itp-tableaux25/frocos/ Contact: frocos2025

[PVS] [EXTERNAL] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories

=== SMT 2025: 23rd International Workshop on Satisfiability Modulo Theories Glasgow, UK, August 10–11, 2025 Affiliated with SAT 2025 === Website: https://smt-wo

[PVS] [EXTERNAL] Marktoberdorf 2025 CFP

CALL FOR PARTICIPATION MARKTOBERDORF SUMMER SCHOOL 2025 ON SPECIFICATION AND VERIFICATION FOR SECURE CYBERSPACE August 6 to 15, 2025 http://www.mod25.de/ The Marktoberdorf Summer School is a 10-day event for young computer scientists and mathematicians, typically doctoral and postdoctoral researc

[PVS] FroCoS 2025 - Call for Papers

=== FroCoS 2025 - Call for Papers The 15th International Symposium on Frontiers of Combining Systems Reykjavik, Iceland, September 27 - October 3, 2025 Website: https://icetcs.github.io/frocos-itp-tableaux25/frocos/ Contact: frocos2025

[PVS] SMT 2025: Deadline extension

Due to multiple requests, we have decided to extend the deadlines for submissions to the SMT workshop. For helping with the organization, we added an abstract deadline. Here are the new dates: Abstract deadline (new): May 16th, 2025 Submission deadline (extended): May 22nd, 2025 Jochen and Soph

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

[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 b

[PVS] CADE-30 Woodie Bledsoe Awards

e Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, University of Miami CONTACTS All questions about CADE-30 paper submissions should be emailed to the Chairs (cad...@easychair.org).

CFP Extension for Christoph Weidenbach’s 60th Birthday

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://cca.informatik.uni-freiburg.de/weidenbach60/ The workshop is taking place on August

[PVS] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025

for Informatics Christoph Weidenbach, MPI for Informatics Bohua Zhan, Huawei Technologies Co., Ltd. Yoni Zohar, Bar-Ilan University CONFERENCE CHAIR Stephan Schulz, DHBW Stuttgart WORKSHOP CHAIR Sophie Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, University of Miami CONTACTS All quest

[PVS] CADE-30 Call for Participation

Bar-Ilan University CONFERENCE CHAIR Stephan Schulz, DHBW Stuttgart WORKSHOP CHAIR Sophie Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, University of Miami CONTACTS All questions about CADE-30 paper submissions should be emailed to the Chairs (cad...@easychair.org).

[PVS] FLoC 2026 Call for Workshops

First Call for Workshops - FLoC 2026 — The 2026 Federated Logic Conference July 20 - July 29, 2026 Lisbon, Portugal https://www.floc26.org/ Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense