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.

News

Important Dates

  • Submission of title and abstracts:  29 February 2016
  • Submission of full papers (extended):  7 March 2016
  • Author notification:  6 May 2016
  • Camera-ready papers:  27 May 2016
  • Conference:  22 to 25 August 2016
  • Workshops:  25 to 27 August 2016

Contact

itp2016@inria.fr

Comments are closed