ITP 2010: July 11-14

Overview

ITP is an international conference on Interactive Theorem Proving and related issues including applications, case studies, foundations, languages, and implementations. It is a combination of TPHOLs (Theorem Proving in Higher Order Logics) and the ACL2 Workshop series. ITP 2010 is the 23rd meeting in the TPHOLs series and the 9th meeting in the ACL2 Workshop series.

LNCS Logo
The proceedings of ITP-10 will be published by Springer in the LNCS series.

Call for Papers

Programme

Invited Talks

Program Chairs

Matt Kaufmann, University of Texas at Austin, United States
Lawrence Paulson, University of Cambridge, United Kingdom

Conference Chairs

Matt Kaufmann, University of Texas at Austin, United States
Michael Norrish, NICTA, Australia
Lawrence Paulson, University of Cambridge, United Kingdom

Workshop Chairs

Michael Norrish, NICTA, Australia

Program Committee:

Thorsten Altenkirch, Uni Nottingham, United Kingdom
David Aspinall, University of Edinburgh, United Kingdom
Jeremy Avigad, Carnegie Mellon University, United States
Gilles Barthe, IMDEA Software, Spain
Jens Brandt, University of Kaiserslautern, Germany
Thierry Coquand, Chalmers University, Sweden
Ruben Gamboa, University of Wyoming, United States
Georges Gonthier, Microsoft Research, United Kingdom
David Greve, Rockwell Collins, United States
Elsa Gunter, Departement of Computer Science, University of Illinois at Urbana-Champaign, United States
John Harrison, Intel Corporation, United States
Joe Hurd, Galois, Inc., United States
Gerwin Klein, NICTA and UNSW, Australia
Xavier Leroy, INRIA Paris-Rocquencourt, France
Assia Mahboubi, INRIA Saclay -- Île - de - France, France
Panagiotis Manolios, Northeastern University, United States
John Matthews, Galois Connections, Inc., United States
J Moore, University of Texas at Austin, United States
Cesar Munoz, National Aeronautics and Space Administration, United States
Tobias Nipkow, TU Munich, Germany
Michael Norrish, NICTA, Australia
David Pichardie, INRIA Rennes - Bretagne Atlantique, France
Brigitte Pientka, McGill University, Canada
Lee Pike, Galois, Inc., United States
Sandip Ray, University of Texas at Austin, United States
Jose-Luis Ruiz-Reina, Departament of Computer Science (University of Seville), Spain
David Russinoff, AMD, United States
Peter Sewell, Computer Laboratory, University of Cambridge, United Kingdom
Konrad Slind
Sofiene Tahar, Concordia University, Canada
Christian Urban, TU Munich, Germany

Local arrangements:

David Aspinall, Edinburgh University, United Kingdom