Organization
- Andrew Tolmach, Portland State University
- John Harrison, Amazon AWS
- John O’Leary, Intel Corporation
Program Committee
- Andreas Abel, Gothenburg University
- David Aspinall, The University of Edinburgh
- Jeremy Avigad, Carnegie Mellon University
- Mauricio Ayala-Rincon, Universidade de Brasilia
- Yves Bertot, Inria
- Sandrine Blazy, University of Rennes 1 – IRISA
- Arthur Charguéraud, Inria
- Koen Claessen, Chalmers University of Technology
- Gilles Dowek, Inria and ENS Paris-Saclay
- Amy Felty, University of Ottawa
- Jean-Christophe Filliatre, CNRS
- Ruben Gamboa, University of Wyoming
- Shilpi Goel, Centaur Technology, Inc.
- Jean-Baptiste Jeannin, University of Michigan
- Cezary Kaliszyk, University of Innsbruck
- Gerwin Klein, Data61, CSIRO and UNSW Sydney
- Joe Leslie-Hurd, Intel
- Assia Mahboubi, Inria
- Guillaume Melquiond, Inria
- Leonardo de Moura, Microsoft
- Magnus Myreen, Chalmers University of Technology
- Tobias Nipkow, Technical University of Munich
- Sam Owre, SRI
- Lawrence Paulson, University of Cambridge
- Christine Rizkallah, UNSW Sydney
- Alexey Solovyev, Independent mobile software developer
- Sofiene Tahar, Concordia University
- Christian Urban, King’s College London
- Josef Urban, Czech Technical University in Prague
ITP Steering Committee
- Larry Paulson, University of Cambridge (chair)
- Amy Felty, University of Ottawa
- César Muñoz , NASA
- Pete Manolios, Northeastern University
- Yves Bertot, INRIA
- Christian Urban, King’s College London
- Jasmin Blanchette , Vrije University Amsterdam
- Magnus Myreen, Chalmers University
- Gerwin Klein, Data61, CSIRO and UNSW Sydney
- Andrew Tolmach, Portland State University (ex officio)