[isabelle] ITP 2016: Call for Papers


The Seventh International Conference on Interactive Theorem Proving
22 to 26 August 2016, Nancy, France

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 26 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, a new conference management system with verified
non-leakage guarantees. See


for the instructions. 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
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

Program Committee

Andrea Asperti  (University of Bologna)
Jeremy Avigad  (Carnegie Mellon University)
Yves Bertot  (Inria Sophia Antipolis - MÃditerranÃe)
Lars Birkedal  (Aarhus University)
Jasmin Christian Blanchette  (Inria Nancy - Grand-Est, LORIA & MPII SaarbrÃcken, co-chair)
Adam Chlipala  (MIT)
Nils Anders Danielsson  (University of Gothenburg & Chalmers University of Technology)
Amy Felty  (University of Ottawa)
Herman Geuvers  (Radboud University Nijmegen)
Georges Gonthier  (Microsoft Research)
John Harrison  (Intel)
Hugo Herbelin  (Inria Paris - Rocquencourt)
CÄtÄlin HriÅcu  (Inria Paris - Rocquencourt)
Cezary Kaliszyk  (University of Innsbruck)
Matt Kaufmann  (University of Texas at Austin)
Gerwin Klein  (NICTA & UNSW)
Xavier Leroy  (Inria Paris - Rocquencourt)
Andreas Lochbihler  (ETH Zurich)
FrÃdÃric Loulergue  (LIFO  (Università d'Orleans)
Assia Mahboubi  (Inria Saclay - Ãle-de-France)
Panagiotis Manolios  (Northeastern University)
Stephan Merz  (Inria Nancy & LORIA, co-chair)
Magnus O. Myreen  (Chalmers University of Technology)
Adam Naumowicz  (University of Bialystok)
Tobias Nipkow  (Technische UniversitÃt MÃnchen)
Michael Norrish  (NICTA)
Sam Owre  (SRI International)
Christine Paulin-Mohring  (Università Paris-Sud)
Lawrence Paulson  (University of Cambridge)
Andrei Popescu  (University of Middlesex)
Gert Smolka  (Saarland University)
Matthieu Sozeau  (Inria Paris - Rocquencourt)
Renà Thiemann  (University of Innsbruck)
Laurent ThÃry  (Inria Sophia Antipolis - MÃditerranÃe)
Andrew Tolmach  (Portland State University)
Christian Urban  (King's College London)
Viktor Vafeiadis  (MPI-SWS)

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.