Program committee



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