The following workshops are associated with ITP 2018:
- July 13th: Isabelle Workshop 2018
- July 8th: Coq Workshop 2018
See also the workshops associated with the other events of the FLoC conference.
9th International Conference on Interactive Theorem Proving -- July 9-12 2018, Oxford, United Kingdom