©Ville de Rennes- D. Gouray

Overview

ITP 2013 is the fourth 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.

News

• Online proceedings at Springer website.
• ITP 2014 will be held in Vienna, Austria, as part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic.
• Online material for the tutorial The Mathematical Components library: principles and design choices.

Important Dates

Abstract submission deadline:	January 28th January 29th, 2013 (anywhere on earth)
Paper submission deadline:	February 1st February 6th, 2013 (anywhere on earth)
Author notification:	March 28th, 2013
Camera-ready paper versions due:	April 22th, 2013

Invited Speakers and Tutorials

Invited speakers

• Dominique Bolignano, Prove & Run
• Rustan Leino, Microsoft Research
• Carsten Schürmann, IT University of Copenhagen

Invited tutorials

• Assia Mahboubi and Enrico Tassi, Inria
• Pete Manolios, Northeastern University

Submission

Paper should be submitted through the easy chair page.

Committees

Organizing committee

• Sandrine Blazy, Université Rennes 1, France
• Christine Paulin-Mohring, Université Paris-Sud 11, France
• David Pichardie, Inria Rennes/Harvard University, France

Program Committee

• Wolfgang Ahrendt, Chalmers University, Sweden
• Jeremy Avigad, Carnegie Mellon University, USA
• Nick Benton, Microsoft Research, UK
• Lennart Beringer, Princeton University, USA
• Sandrine Blazy, University of Rennes, France
• Adam Chlipala, MIT, USA
• Thierry Coquand, Chalmers University, Sweden
• Amy Felty, University of Ottawa, Canada
• Ruben Gamboa, University of Wyoming, USA
• Herman Geuvers, Radboud University Nijmegen, The Netherlands
• Elsa Gunter, University of Illinois at Urbana-Champaign, USA
• David Hardin, Rockwell Collins, Inc., USA
• John Harrison, Intel Corporation, USA
• Gerwin Klein, NICTA and UNSW, Australia
• Assia Mahboubi, INRIA - École polytechnique, France
• Panagiotis Manolios, Northeastern University, USA
• Conor Mcbride, University of Strathclyde, UK
• César Muñoz, NASA, USA
• Magnus O. Myreen, University of Cambridge, UK
• Tobias Nipkow, TU München, Germany
• Michael Norrish, NICTA and ANU, Australia
• Sam Owre, SRI International, USA
• Christine Paulin-Mohring, Université Paris-Sud 11, France
• Lawrence Paulson, University of Cambridge, UK
• David Pichardie, Inria Rennes/Harvard University, France
• Brigitte Pientka, McGill University, Canada
• Laurence Pierre, TIMA, France
• Lee Pike, Galois, Inc., USA
• Claudio Sacerdoti Coen, University of Bologna, Italy
• Julien Schmaltz, Open University of the Netherlands, The Netherlands
• Makoto Takeyama, AIST/COVS, Japan
• Laurent Théry, Inria Sophia-Antipolis, France
• René Thiemann, University of Innsbruck, Austria
• Makarius Wenzel, Université Paris-Sud 11, France