Call for Papers

The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. The seventh ITP conference, ITP 2016, will be held at Inria Nancy – Grand-Est and LORIA between 22 and 27 August 2016.

ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. Suggested topics include but are not limited to the following:

  • formal aspects of hardware and software
  • formalizations of mathematics
  • improvements in theorem prover technology
  • user interfaces for interactive theorem provers
  • formalizations of computational models
  • verification of security algorithms
  • use of theorem provers in education
  • industrial applications of interactive theorem provers
  • concise and elegant worked examples of formalizations (proof pearls)

Papers should be no more than 16 pages in length and are to be submitted in PDF format via CoCon. Submissions must conform to the LNCS style in LaTeX. The proceedings are to be published as a volume in the Lecture Notes in Computer Science series and will be available to participants at the conference. Authors of accepted papers are expected to present their paper at the conference and will be required to sign copyright release forms.

In addition to regular papers, described above, there will be a “rough diamond” section. Rough diamond submissions are limited to 6 pages and may consist of an extended abstract. They will be refereed and be expected to present innovative and promising ideas, possibly in an early form and without supporting evidence. Accepted diamonds will be published in the main proceedings and will be presented as short talks.

Important Dates

  • Submission of title and abstracts:  29 February 2016
  • Submission of full papers:  4 March 2016  7 March 2016
  • Author notification:  6 May 2016
  • Camera-ready papers:  27 May 2016
  • Main conference:  22 to 25 August 2016
  • Workshops:  26 (and possibly 25, 27) August 2016

Comments are closed