Sites Inria

Version française

ITP 2016

ITP 2016

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:

Scientific contacts : Jasmin Christian Blanchette and Stephan Merz

Administrative contact: Anne-Lise Charbonnier 


Keywords: Security Formalization of mathematics Program verification