Workshops
Workshops primarily affiliated with ITP
- User Interfaces for Theorem Provers (UITP 2014)
- Isabelle Workshop 2014
- HOL4 Workshop
- The 6th Coq Workshop
- The ACL2 Workshop
Other workshops partially affiliated with ITP
- 5th International Workshop on Invariant Generation - WING 2014
- QED20
- Systems Software Verification
- ∀X.Xπ - All about Proofs, Proofs for All
- Sixth Working Conference on Verified Software: Theories, Tools, and Experiments