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.

News

Contact

itp2016@inria.fr

Sponsors

Aesthetic Integration Ltd. logo

Grand Est region logo

Microsoft logo

Springer logo

Inria logo

LORIA logo

Comments are closed.