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.
- Date : 22/08/2016 to 27/08/2016
- Place : Centre Inria Nancy - Grand Est, 615 rue du Jardin Botanique, 54600 Villers-lès-Nancy
- Guest(s) : Viktor Kuncak, Grant Olney Passmore, Nikhil Swamy
More information and programme: https://itp2016.inria.fr/
Scientific contacts : Jasmin Christian Blanchette and Stephan Merz
Administrative contact: Anne-Lise Charbonnier