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 will take place in Nancy, France, from 22 to 27 August 2016.




Aesthetic Integration Ltd. logo

Grand Est region logo

Communauté Urbaine Grand Nancy Microsoft logo Springer logo

Inria logo LORIA logo

Comments are closed