https://itp19.cecs.pdx.edu/
ITP 2019: Interactive Theorem Proving | Tenth International Conference - September 8-13 2019 -...
Conference on interactive theorem proving: covers theory, implementation, and application to program verification, security, and formalization of mathematics.
interactive theorem provinginternational conferenceseptember 8itp2019
https://www.kth.se/social/group/interactive-theorem-/
Interactive Theorem Proving Course | KTH
interactive theorem provingcoursekth