Search a Conference through our dedicated search page

ITP — 13th International Conference on Interactive Theorem Proving

31st July 2022 - 12th August 2022
Haifa, Israel
https://itp-conference.github.io/
Save

Abstract

The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. ITP 2022 is the thirteenth conference on Interactive Theorem Proving. It will be part of the Federated Logic Conference (FLoC). It will take place in Haifa, Israel, July 31 – August 12, 2022. ITP — 13th International Conference on Interactive Theorem Proving

Related Fields