Committees

Organization

Daniele GorlaSapienza Università di Roma

PC Chairs

Liron Cohen, Ben-Gurion University of the Negev
Cezary Kaliszyk, University of Innsbruck

ITP Steering Committee

Mauricio Ayala-RinconBrasilia University
Yves Bertot, INRIA
Jasmin Blanchette , Vrije University Amsterdam
Amy Felty, University of Ottawa
Gerwin Klein, Data61, CSIRO and UNSW Sydney
Pete Manolios, Northeastern University
Magnus Myreen, Chalmers University
Larry Paulson, University of Cambridge (chair)
Andrew Tolmach, Portland State University (ex officio)
Christian Urban, King’s College London


Program Committee

Andreas Abel, Gothenburg University
June Andronick, CSIRO|Data61 and UNSW
Jesús Aransay, Universidad de La Rioja
Jeremy Avigad, Carnegie Mellon University
Christoph Benzmüller, Freie Universität Berlin
Jasmin Blanchette, Vrije Universiteit Amsterdam
Adam Chlipala, Massachusetts Institute of Technology
Claudio Sacerdoti Coen, University of Bologna
Leonardo de Moura, Microsoft
Valeria de Paiva, Samsung Research America and University of Birmingham
Gilles Dowek, INRIA and ENS Paris-Saclay
Amy Felty, University of Ottawa
Hugo Herbelin, INRIA
Shachar Itzhaky, Technion
Chantal Keller, LRI, Université Paris-Sud
Michael Kohlhase, Computer Science, FAU Erlangen-Nürnberg
Peter Lammich, Institut fuer Informatik, TU Munich
Assia Mahboubi, INRIA
Stephan Merz, Inria Nancy
César Muñoz , NASA
Cláudia Nalon, University of Brasília
Adam Naumowicz, Institute of Informatics, University of Bialystok, Poland
Tobias Nipkow, Technical University of Munich
Michael Norrish, CSIRO
John O’Leary, Intel
Lawrence Paulson, University of Cambridge
Damien Pous, CNRS – ENS Lyon
Vincent Rahli, University of Birmingham
Matthieu Sozeau, INRIA
Andrew Tolmach, Portland State University
Christian Urban, King’s College London
Josef Urban, Czech Technical University in Prague