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}%