Steering Committee
- Bruno Buchberger (Johannes Kepler University of Linz, Austria)
- Katsuhisa Horimoto (National Institute of Advanced Industrial Science and Technology, Japan)
- Reinhard Laubenbacher (Virginia Bioinformatics Institute, USA)
- Bud Mishra (New York University, USA)
Program Chairs and Proceedings Editors
- Katsuhisa Horimoto (National Institute of Advanced Industrial Science and Technology, Japan)
- Masahiko Nakatsui (National Institute of Advanced Industrial Science and Technology, Japan)
- Nikolaj Popov (Johannes Kepler University of Linz, Austria)
Program Committee
- Tatsuya Akutsu (Kyoto University, Japan)
- Hirokazu Anai (Kyushu University Japan)
- Niko Beerenwinkel (Swiss Federal Institute of Technology Zurich, Switzerland)
- Armin Biere (Johannes Kepler University of Linz, Austria)
- François Boulier (University Lille I, France)
- Bruno Buchberger (Johannes Kepler University of Linz, Austria)
- Luca Cardelli (Microsoft Research, Cambridge, UK)
- Luonan Chen (Osaka Sangyo University, Japan)
- Wai-Ki Ching (University of Hong Kong, China)
- Kwang-Hyun Cho (Korea Advanced Institute of Science and Technology, Korea)
- Franck Delaplace (Evry University, France)
- Hoon Hong (North Carolina State University, USA)
- Katsuhisa Horimoto (National Institute of Advanced Industrial Science and Technology, Japan)
- Peter Huggins (Carnegie Mellon University, USA)
- Abdul Salam Jarrah (Virginia Bioinformatics Institute, USA)
- Erich Kaltofen (North Carolina State University, USA)
- Hans Kestler (University of Ulm, Germany)
- Temur Kutsia (Johannes Kepler University of Linz, Austria)
- Philipp Kügler (Johann Radon Institute for Computational and Applied Mathematics, Austria and University of Stuttgart, Germany)
- Doheon Lee (Korea Advanced Institute of Science and Technology, Korea)
- James Lynch (Clarkson University, USA)
- Manfred Minimair (Seton Hall University, USA)
- Stefan Müller (Johann Radon Institute for Computational and Applied Mathematics, Austria)
- Masahiko Nakatsui (National Institute of Advanced Industrial Science and Technology, Japan)
- Masahiro Okamoto (Kyushu University Japan)
- Eugenio Omodeo (University of Trieste, Italy)
- Sonja Petrovic (University of Illinois at Chicago, USA)
- Nikolaj Popov (Johannes Kepler University of Linz, Austria)
- Georg Regensburger (Johann Radon Institute for Computational and Applied Mathematics, Austria)
- Carolyn Talcott (SRI International, USA)
- Ashish Tiwari (SRI International, USA)
- Hiroyuki Toh (Kyushu University, Japan)
- Dongming Wang (Beihang University, China and UPMC-CNRS, France)
- Limsoon Wong (National University of Singapore)
- Ruriko Yoshida (University of Kentucky, USA)