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.