|
Laurent Bernardin | (Maplesoft, Canada)
|
|
Olga Caprotti | (U Helsinki, Finland)
|
|
Simon Colton | (Imperial College, UK)
|
|
Tetsuo Ida | (Tsukuba U, Japan)
|
|
Mateja Jamnik | (U Cambridge, UK)
|
|
Tudor Jebelean | (RISC Linz, Austria)
|
|
Alejandro Jofre | (U Chile, Chile)
|
|
Michael Kohlhase | (Jakobs U, Germany)
|
|
Azzeddine Lazrek | (U Marakech, Morocco)
|
|
Paul Libbrecht | (DFKI, Germany)
|
|
Bruce Miller | (NIST, USA)
|
|
Robert Miner | (Design Science, USA)
|
|
Laurence Rideau | (INRIA, France)
|
|
Claudio Sacerdoti Cohen (Co-Chair) | (U Bologna, Italy)
|
|
Elena Smirnova | (Texas Instruments, USA)
|
|
Volker Sorge | (U Birmingham, UK)
|
|
Masakazu Suzuki | (U Kyushu, Japan)
|
|
Joseph Urban | (Charles U, Czech Republic)
|
|
Stephen Watt (Co-chair) | (U Western Ontario, Canada)
|
|
Freek Wiedijk | (Rabdoub U, NL)
|
