Program Chairs * [[http://www.cs.wisc.edu/~ramali/][G. Ramalingam]] (Microsoft Research India) * [[http://www.cs.uu.nl/wiki/Visser][Eelco Visser]] (Delft University of Technology, The Netherlands) Program Committee Members * [[http://www.cs.berkeley.edu/~bodik/][Ras Bodik]] (University of California, Berkeley, USA) * [[http://www-rocq.inria.fr/~acohen/][Albert Cohen]] (INRIA, France) * [[http://www.cs.queensu.ca/~cordy/][Jim Cordy]] (Queen's University, Canada) * [[http://web.engr.oregonstate.edu/~erwig/][Martin Erwig]] (Oregon State University, USA) * [[http://www.ecs.soton.ac.uk/people/bf][Bernd Fischer]] (University of Southampton, UK) * [[http://www.cis.ksu.edu/~hatcliff/newweb/][John Hatcliff]] (Kansas State University, USA) * [[http://www.cwi.nl/~jan/][Jan Heering]] (CWI, The Netherlands) * [[http://www.cs.washington.edu/homes/djg/][Dan Grossman]] (University of Washington, USA) * [[http://www.cs.sunysb.edu/~liu/][Annie Liu]] (State University of New York at Stony Brook, USA) * [[http://www.emn.fr/x-info/noye/][Jacques Noyé]] (École des Mines de Nantes/INRIA, France) * [[http://clip.dia.fi.upm.es/~german/][German Puebla]] (Technical University of Madrid, Spain) * [[http://www.dina.kvl.dk/~sestoft/][Peter Sestoft]] (Royal Veterinary and Agricultural University, Denmark) * [[http://www-static.cc.gatech.edu/~yannis/][Yannis Smaragdakis]] (Georgia Tech, Atlanta, USA) * [[http://www.cs.rice.edu/~taha/][Walid Taha]] (Rice University, Houston, USA)