Program committee



Name Affiliation
Frank Pfenning Carnegie Mellon University
Martin Vechev ETH Zurich
Wolfram Schulte Facebook
Anastasia Izmaylova IMC Financial Markets
Nobuko Yoshida Imperial College London
Julia Lawall Inria
Hsiang-Shang Ko chair Institute of Information Science, Academia Sinica, Taiwan
Peter Sestoft IT University of Copenhagen
Sergei Romanenko Keldysh Institute of Applied Mathematics
Kohei Suenaga Kyoto University
Ezgi Çiçek Max Planck Institute for Software Systems
Simon Peyton Jones Microsoft Research Cambridge
Sriram Rajamani Microsoft Research India
Tiark Rompf Purdue University
Oleg Kiselyov Tohoku University
Norman Ramsey Tufts University
Ronald Garcia University of British Columbia
Nada Amin University of Cambridge
Fritz Henglein chair University of Copenhagen
Simon Gay University of Glasgow
Ralf Lämmel University of Koblenz-Landau
Harald Søndergaard University of Melbourne
Gabriele Keller University of New South Wales
Marcos Viera University of the Republic
Shigeru Chiba University of Tokyo
Thomas Reps University of Wisconsin-Madison
Johan Jeuring Utrecht University
Andy Gill X, the Moonshot Factory
Olivier Danvy Yale-NUS College