Program Chairs: * [[http://www.diku.dk/~glueck/][Robert Glück]] (University of Copenhagen) * [[http://ase.arc.nasa.gov/people/lowry/][Michael Lowry]] (NASA Ames Research Center) Program Committee Members: * [[http://www.cs.utexas.edu/users/dsb/][Don Batory]] (University of Texas, USA) * [[http://www.semdesigns.com/Company/People/idbaxter/index.html][Ira Baxter]] (Semantic Designs, USA) * [[http://www.doc.ic.ac.uk/~ccris/][Cristiano Calcagno]] (Imperial College London, UK) * [[http://www.cs.ucdavis.edu/~devanbu/][Prem Devanbu]] (University of California at Davis, USA) * [[http://www.informatik.fh-kl.de/~eisenecker/][Ulrich Eisenecker]] (University Leipzig, Germany) * [[http://www.cs.vassar.edu/~ellman/][Tom Ellman]] (Vassar College, USA) * [[http://ic.arc.nasa.gov/people/filman/][Robert Filman]] (NASA Ames Research Center,USA) * [[http://www.ipl.t.u-tokyo.ac.jp/~hu/][Zhenjiang Hu]] (University of Tokyo, Japan) * [[http://www.crab.rutgers.edu/~pjohann/][Patricia Johann]] (Rutgers University, USA) * [[http://www.galois.com/executives.php][John Launchbury]] (Galois, USA) * [[http://www.lifl.fr/~lemeur/][Anne-Françoise Le Meur]] (University of Science and Technology Lille, France) * [[http://www.sei.pku.edu.cn/en/meihong.jsp][Hong Mei]] (Peking University, China) * [[http://eis.jpl.nasa.gov/~rouquett/][Nicolas Rouquette]] (NASA Jet Propulsion Lab, USA) * [[http://www-2.cs.cmu.edu/~wls/][William Scherlis]] (Carnegie Mellon University, USA) * [[http://www.cc.gatech.edu/~yannis/][Yannis Smaragdakis]] (Georgia Institute of Technology, USA) * [[http://www.cs.rice.edu/~taha/][Walid Taha]] (Rice University, USA) * [[http://www.cs.chalmers.se/~tveldhui/][Todd Veldhuizen]] (Chalmers University of Technology, Sweden)