Program Committee CPP

Brigitte Pientka PC Chair

McGill University

Canada

Sandrine Blazy PC Chair

University of Rennes

France

Benedikt Ahrens

Delft University of Technology

Netherlands

Robert Atkey

University of Strathclyde

Jeremy Avigad

Carnegie Mellon University, USA

Thomas Bourgeat

EPFL

Jacques Carette

McMaster University

Canada

Arthur Charguéraud

Inria

France

Jesper Cockx

Delft University of Technology

Netherlands

Évelyne Contejean

CNRS, ENS Paris-Saclay & Université Paris-Saclay

Andres Erbsen

Francisco Ferreira

Royal Holloway, University of London

Kesha Hietala

Amazon Web Services

United States

Kuen-Bang Hou (Favonia)

University of Minnesota

United States

Hsiang-Shang ‘Josh’ Ko

Institute of Information Science, Academia Sinica

Taiwan

Wen Kokke

University of Edinburgh

Peter Lammich

The University of Manchester

Sarah Loos

Google

Alberto Momigliano

Università degli Studi di Milano

Magnus O. Myreen

Chalmers University of Technology

Michael Norrish

Australian National University

Australia

Paige Randall North

Utrecht University

Christine Paulin-Mohring

Université Paris-Saclay

Tahina Ramananandro

Microsoft Research

United States

Philipp Ruemmer

University of Regensburg and Uppsala University

Germany

Bas Spitters

Aarhus University

Denmark

Yong Kiam Tan

Institute for Infocomm Research, A*STAR

Enrico Tassi

INRIA

France

Alwen Tiu

The Australian National University

Jean-Baptiste Tristan

Amazon Web Services

United States

Théo Winterhalter

INRIA Saclay

France

Vadim Zaliva

University of Cambridge, UK

United States