Program Chairs * [[http://akira.ruc.dk/~jpg/][John Gallagher]] (Roskilde University, Denmark, and IMDEA Software, Spain) * [[http://www.iai.uni-bonn.de/~jv/][Janis Voigtländer]] (University of Bonn, Germany) Program Committee Members * [[http://www.comp.nus.edu.sg/~chinwn/][Wei-Ngan Chin]] (National University of Singapore, Singapore) * [[http://www.cs.bgu.ac.il/~mcodish/][Michael Codish]] (Ben-Gurion University of the Negev, Israel) * [[http://research.cs.queensu.ca/~cordy/][Jim Cordy]] (Queen's University, Canada) * [[http://www.cis.upenn.edu/~jnfoster/][Nate Foster]] (University of Pennsylvania, USA) * [[http://faculty.ist.unomaha.edu/hguo/][Haifeng Guo]] (University of Nebraska at Omaha, USA) * [[http://personal.cis.strath.ac.uk/~patricia/][Patricia Johann]] (University of Strathclyde, UK) * [[http://okmij.org/ftp/][Oleg Kiselyov]] (FNMOC, USA) * [[http://www.cs.uni-bonn.de/~gk/gk/][Günter Kniesel]] (University of Bonn, Germany) * [[http://lara.epfl.ch/~kuncak/][Viktor Kuncak]] (Ecole Polytechnique Fédérale de Lausanne, Switzerland) * [[http://www.cs.sunysb.edu/~liu/][Yanhong Annie Liu]] (State University of New York at Stony Brook, USA) * [[http://people.cs.uu.nl/andres/][Andres Löh]] (Utrecht University, Netherlands) * [[http://www.brics.dk/~jmi/][Jan Midtgaard]] (Roskilde University, Denmark) * [[http://www-verimag.imag.fr/~monniaux/][David Monniaux]] (National Center for Scientific Research (CNRS) and VERIMAG laboratory, France) * [[http://www.ipl.t.u-tokyo.ac.jp/~morihata/][Akimasa Morihata]] (University of Tokyo, Japan) * [[http://www.iasi.cnr.it/~adp/][Alberto Pettorossi]] (Università di Roma Tor Vergata, Italy) * [[http://www.di.uminho.pt/~jas/][João Saraiva]] (Universidade do Minho, Portugal) * [[http://www.earth.li/~ganesh/][Ganesh Sittampalam]] (Credit Suisse, UK) * [[http://profs.sci.univr.it/~spoto/][Fausto Spoto]] (Università di Verona, Italy) * [[http://www.cs.mu.oz.au/~harald/][Harald Søndergaard]] (University of Melbourne, Australia) * [[http://www.cs.rice.edu/~taha/][Walid Taha]] (Rice University, USA)