Program Committee CPP 2017

Reynald Affeldt

AIST, Japan

Thorsten Altenkirch

University of Nottingham

Jesús Aransay

Universidad de la Rioja, Spain

Andrea Asperti

University of Bologna, Italy

Clark Barrett

Stanford University

United States

Yves Bertot

INRIA

France

Nikolaj Bjørner

Microsoft Research

Ana Bove

Chalmers University of Technology, Sweden

Delphine Demange

IRISA

Reiner Hähnle

Technical University of Darmstadt

Marieke Huisman

University of Twente

Netherlands

Cezary Kaliszyk

University of Innsbruck

Robbert Krebbers

Delft University of Technology, Netherlands

Netherlands

Ondřej Kunčar

Technische Universität München, Germany

Mohsen Lesani

University of California, Riverside

Assia Mahboubi

INRIA

France

Michael Norrish

Data61 at CSIRO, Australia

Australia

Vincent Rahli

SnT

Tom Ridge

University of Leicester, UK

Freek Verbeek

Open University of the Netherlands, The Netherlands

Viktor Vafeiadis

MPI-SWS, Germany

Greece

Steve Zdancewic

University of Pennsylvania

United States