Program Chairs * [[http://okmij.org/ftp/][Oleg Kiselyov]] (Monterey, CA, USA) * [[http://www.cs.kent.ac.uk/people/staff/sjt/][Simon Thompson]] (University of Kent, UK) Program Committee Members * [[http://phoenix.inria.fr/index.php/members/39-emilie-balland][Emilie Balland]] (INRIA, France) * [[http://ti.arc.nasa.gov/profile/edenney/][Ewen Denney]] (NASA Ames Research Center, USA) * [[http://web.engr.oregonstate.edu/~erwig/][Martin Erwig]] (Oregon State University, USA) * [[http://research.nii.ac.jp/members/fischer/][Sebastian Fischer]] (National Institute of Informatics, Japan) * [[http://www.lcc.uma.es/~lff/][Lidia Fuentes]] (Universidad de Malaga, Spain) * [[http://www.ruc.dk/~jpg/][John Gallagher]] (Roskilde University, Denmark and IMDEA Software Institute, Spain) * [[http://www.ccs.neu.edu/home/dherman/][Dave Herman]] (Mozilla Research, USA) * [[http://www.holdermans.nl/][Stefan Holdermans]] (Vector Fabrics, the Netherlands) * [[http://www.uni-marburg.de/fb12/ps/team/kaestner?language_sync=1][Christian Kästner]] (University of Marburg, Germany) * [[http://www.uni-bamberg.de/kogsys/team/kitzelmann/][Emanuel Kitzelmann]] (International Computer Science Institute, USA) * [[http://pat.keldysh.ru/~anklimov/][Andrei Klimov]] (Keldysh Institute of Applied Mathematics, Russian Academy of Sciences) * [[http://www.iis.sinica.edu.tw/~scm/][Shin-Cheng Mu]] (Academia Sinica, Taiwan) * [[http://www.fing.edu.uy/~pardo/][Alberto Pardo]] (Universidad de la República, Uruguay) * [[http://proper.softlab.ntua.gr/About/Kostis_Sagonas.html][Kostis Sagonas]] (Uppsala University, Sweden and National Technical University of Athens, Greece) * [[http://wiki.mq.edu.au/display/plrg/Anthony+Sloane][Anthony M. Sloane]] (Macquarie University, Australia) * [[http://people.csail.mit.edu/asolar/][Armando Solar-Lezama]] (MIT, USA) * [[http://www.cs.uiowa.edu/~astump/home.html][Aaron Stump]] (The University of Iowa, USA) * [[http://pakirapon2.sakura.ne.jp/][Kohei Suenaga]] (University of Kyoto, Japan) * [[http://www-users.cs.umn.edu/~evw/][Eric Van Wyk]] (University of Minnesota, USA) * [[http://ropas.snu.ac.kr/~kwang/][Kwangkeun Yi]] (Seoul National University, Korea) Steering Committee %INCLUDE{SteeringCommittee}%