Conference Chairmen
- Hirokazu Anai (Fujitsu Laboratories Ltd. Japan)
- Bruno Buchberger (Johannes Kepler University of Linz, Austria)
- Hoon Hong (North Carolina State University, USA)
- Katsuhisa Horimoto (National Institute of Advanced Industrial Science and Technology, Japan)
Program Committee Co-Chairs and Proceedings Editors
- Hirokazu Anai (Fujitsu Laboratories Ltd. Japan)
- Katsuhisa Horimoto (National Institute of Advanced Industrial Science and Technology, Japan)
- Temur Kutsia (Johannes Kepler University of Linz, Austria)
Program Committee
- Tatsuya Akutsu (Kyoto University, Japan)
- Hirokazu Anai (Fujitsu Laboratories Ltd. Japan)
- Armin Biere (Johannes Kepler University of Linz, Austria)
- Bruno Buchberger (Johannes Kepler University of Linz, Austria)
- Vincenzo Capasso (Università degli studi di Milano, Italy)
- Luca Cardelli (Microsoft Research, Cambridge, UK)
- Gautam Dasgupta (Columbia University, USA)
- François Fages (INRIA Rocquencourt, France)
- Shinji Hara (University of Tokyo, Japan)
- Sepp Hochreiter (Johannes Kepler University of Linz, Austria)
- Hoon Hong (North Carolina State University, USA)
- Katsuhisa Horimoto (National Institute of Advanced Industrial Science and Technology, Japan)
- Hans Irschik (Johannes Kepler University of Linz, Austria)
- Erich Kaltofen (North Carolina State University, USA)
- Veikko Keränen (Rovaniemi University of Applied Sciences, Finland)
- Temur Kutsia (Johannes Kepler University of Linz, Austria)
- James F. Lynch (Clarkson University, USA)
- Manfred Minimair (Seton Hall University, USA)
- Enno Ohlebusch (University of Ulm, Germany)
- Stanly Steinberg (University of New Mexico, USA)
- Bernd Sturmfels (University of California at Berkeley, USA)
- Carolyn L. Talcott (SRI International, USA)
- Ashish Tiwari (SRI International, USA)
- Jens Volkert (Johannes Kepler University of Linz, Austria)
- Dongming Wang (Beihang University, China and UPMC-CNRS, France)
- Kazuhiro Yokoyama (Rikkyo University, Japan)
- Ruriko Yoshida (Duke University, USA)