Program Committee Workshops

Nada Amin

University of Cambridge

United Kingdom

Elisa Baniassad

University of British Columbia

Canada

Judith Bishop

Stellenbosch University

South Africa

Adam Chlipala

Massachusetts Institute of Technology, USA

United States

Alastair Donaldson

Imperial College London

United Kingdom

Sebastian Erdweg

TU Delft

Netherlands

Elisa Gonzalez Boix

Vrije Universiteit Brussel

Belgium

Philipp Haller

KTH Royal Institute of Technology

Germany

Matthew Hammer

University of Colorado, Boulder

United States

Matthias Hauswirth

Università della Svizzera italiana (USI)

Switzerland

Julia Lawall

Inria/LIP6

Paley Li

Northeastern University

New Zealand

Stefan Marr

Johannes Kepler University Linz

Austria

Sarah Mount

King's College London

United Kingdom

Michael Pradel

TU Darmstadt

Guido Salvaneschi

TU Darmstadt

Ilya Sergey

University College London

United Kingdom

Alexander J. Summers

ETH Zurich

Nick Sumner

Simon Fraser University

Adam Welc

Huawei America Research Center

United States