Program committee



NameAffiliation
Aggelos BiboudisEPFL
Ana LĂșcia de MouraPUC-Rio
Engineer BainomugishaMakerere University
Guillaume BaudartIBM Research
Harumi WatanabeTokai University
Hidehiko Masuhara chairTokyo Institute of Technology
Ivan PerezNIA / NASA Formal Methods Group
Louis MandelIBM T.J. Watson Research Center
Mirko ViroliUniversity of Bologna
Noemi RodriguezPUC-Rio
Patrick BahrIT University of Copenhagen
Steven SmythKiel University, Department of Computer Science
Takuo WatanabeTokyo Institute of Technology
Tetsuo Kamina chairOita University
Tim FelgentreffOracle Labs, Potsdam
Tomoyuki AotaniTokyo Institute of Technology
Yoshiki OhshimaCroquet Studio
YungYu ZhuangNational Central University