Program committee



Name Affiliation
Adam Grabowski University of Bialystok
Akihisa Yamada National Institute of Informatics
Assia Mahboubi INRIA and VU Amsterdam
Benjamin C. Pierce University of Pennsylvania
Catalin Hritcu chair Inria Paris
Cesar Munoz NASA
Christine Rizkallah UNSW Sydney
Dmitriy Traytel ETH Zürich
Dominique Devriese Vrije Universiteit Brussel
Dominique Larchey-Wendling LORIA
Floris van Doorn University of Pittsburgh
Hongjin Liang Nanjing University
Ilya Sergey Yale-NUS College and National University of Singapore
Jasmin Blanchette chair Vrije Universiteit Amsterdam
Jean-Christophe Filliâtre CNRS, LRI - Université Paris-Sud
Jesús María Aransay Azofra Universidad de La Rioja
Kathrin Stark Saarland University
Liron Cohen Ben Gurion University
Mauricio Ayala-Rincon Universidade de Brasilia
Nada Amin Harvard University
Nicolas Tabareau Inria
Nikhil Swamy MSR Redmond
Ori Lahav Tel Aviv University
Peter Lammich The University of Manchester
Roberto Zunino University of Trento
Vincent Rahli University of Birmingham
Vivek Nigam fortiss
Warren A. Hunt, Jr. University of Texas