Workshop Schedule
The following workshops are associated with CADE-25:
- AMI: ATP meets ITP (canceled)
- Bridging: Bridging the gap between human and automated reasoning
- HOL4: HOL4 Workshop
- IWC: The 4th International Workshop on Confluence
- LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
- LOCAS: Low-level Code Analysis for Security (canceled)
- PxTP: Workshop on Proof eXchange for Theorem Proving
- QUANTIFY: 2nd International Workshop on Quantification
- Vampire: The Vampire Workshop
The per-day workshop schedule can be found here for day 1, here for day 2, and here for day 3, or in the CADE Conference Booklet.