Place Stanislas, Nancy

ITP 2016 is the seventh conference on Interactive Theorem Proving and related issues, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. It took place in Nancy, France, from 22 to 27 August 2016. The proceedings are accessible via Springer Link.




Aesthetic Integration Ltd. logo

Grand Est region logo

Microsoft logo

Springer logo

Inria logo

LORIA logo

Comments are closed.