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 |