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