| Lihong Zhi, Chair |
Key Laboratory of Mathematics Mechanization, AMSS, China |
|
Colorado State University, USA |
|
University of Waterloo, Canada |
|
LIP6, Paris, France |
|
INRIA (LIP ENS Lyon), Lyon, France |
|
Ehime University, Japan |
|
North Carolina State University, USA |
|
Northeast Normal University, China |
|
University of Genova, Italy |
| Marc Moreno Maza |
University of Western Ontario, Canada |
|
INRIA Sophia Antipolis, France |
|
Kobe University, Japan |
|
City University of New York, USA |
|
The University of Western Ontario, Canada |
|
Toho University, Japan |
|
Johannes Kepler University, Austria |
