Program Committee CPP

Reynald Affeldt

National Institute of Advanced Industrial Science and Technology (AIST), Japan

June Andronick Program Co-Chair

Data61,CSIRO (formerly NICTA) and UNSW

Australia

Lennart Beringer

Princeton University

United States

Jasmin Blanchette

Vrije Universiteit Amsterdam

Netherlands

Sandrine Blazy

IRISA, University of Rennes 1

France

Sylvie Boldo

Inria and Université Paris-Saclay

France

James Cheney

University of Edinburgh, UK

United States

Amy Felty Program Co-Chair

University of Ottawa

Canada

Elsa Gunter

University of Illinois

United States

Marieke Huisman

University of Twente

Netherlands

Warren Hunt

University of Texas Austin

United States

Reiner Hähnle

Technical University of Darmstadt

Germany

K. Rustan M. Leino

Amazon

United States

Assia Mahboubi

INRIA

France

Alberto Momigliano

Università degli Studi di Milano

Magnus O. Myreen

Chalmers University of Technology, Sweden

Sweden

Vivek Nigam

Federal University of Paraiba / fortiss

Germany

Tobias Nipkow

Technical University Munich

Germany

Gert Smolka

Saarland University

Bas Spitters

Pierre-Yves Strub

Ecole Polytechnique

France

Laurent Théry

INRIA

France

Josef Urban

Czech Technical University in Prague

Czechia

Viktor Vafeiadis

MPI-SWS, Germany

Greece

Stephanie Weirich

University of Pennsylvania, USA

United States