| Aggelos Biboudis |
EPFL |
| Ana Lúcia de Moura |
PUC-Rio |
| Engineer Bainomugisha |
Makerere University |
| Guillaume Baudart |
IBM Research |
| Harumi Watanabe |
Tokai University |
| Hidehiko Masuhara chair |
Tokyo Institute of Technology |
| Ivan Perez |
NIA / NASA Formal Methods Group |
| Louis Mandel |
IBM T.J. Watson Research Center |
| Mirko Viroli |
University of Bologna |
| Noemi Rodriguez |
PUC-Rio |
| Patrick Bahr |
IT University of Copenhagen |
| Steven Smyth |
Kiel University, Department of Computer Science |
| Takuo Watanabe |
Tokyo Institute of Technology |
| Tetsuo Kamina chair |
Oita University |
| Tim Felgentreff |
Oracle Labs, Potsdam |
| Tomoyuki Aotani |
Tokyo Institute of Technology |
| Yoshiki Ohshima |
Croquet Studio |
| YungYu Zhuang |
National Central University |