Program committee



Name Affiliation
Alan Jeffrey Mozilla Research
Alan Jeffrey None
Cesar Sanchez IMDEA Software Institute
Christiaan Baaij QBayLogic
Daniel Winograd-Cort Luminous Computing
Edward Amsden Black River Software, LLC.
Guerric Chupin University of Nottingham
Heinrich Apfelmus Unknown
Ivan Perez chair NIA / NASA Formal Methods Group
Jonathan Thaler University of Applied Sciences Vorarlberg
Louis Mandel IBM T.J. Watson Research Center
Manuel Baerenz sonnen eServices GmbH
Marc Pouzet UPMC/ENS/Inria
Mark Santolucito Barnard College. Columbia University
Neil Sculthorpe Nottingham Trent University
Noemi Rodriguez PUC-Rio
Oleksandra Bulgakova Sukhomlynsky Mykolaiv National University, Ukraine
Patrick Bahr IT University of Copenhagen
Takuo Watanabe Tokyo Institute of Technology
Tetsuo Kamina Oita University
Tom Van Cutsem Nokia Bell Labs, Belgium
Yoshiki Ohshima Software Engineer