Program committee



NameAffiliation
Alan JeffreyMozilla Research
Alan JeffreyNone
Cesar SanchezIMDEA Software Institute
Christiaan BaaijQBayLogic
Daniel Winograd-CortLuminous Computing
Edward AmsdenBlack River Software, LLC.
Guerric ChupinUniversity of Nottingham
Heinrich ApfelmusUnknown
Ivan Perez chairNIA / NASA Formal Methods Group
Jonathan ThalerUniversity of Applied Sciences Vorarlberg
Louis MandelIBM T.J. Watson Research Center
Manuel Baerenzsonnen eServices GmbH
Marc PouzetUPMC/ENS/Inria
Mark SantolucitoBarnard College. Columbia University
Neil SculthorpeNottingham Trent University
Noemi RodriguezPUC-Rio
Oleksandra BulgakovaSukhomlynsky Mykolaiv National University, Ukraine
Patrick BahrIT University of Copenhagen
Takuo WatanabeTokyo Institute of Technology
Tetsuo KaminaOita University
Tom Van CutsemNokia Bell Labs, Belgium
Yoshiki OhshimaSoftware Engineer