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 |