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