General Chair:

	* [[http://websrv0a.sdu.dk/ups/][Ulrik Pagh Schultz]] (University of Southern Denmark, DK)

Program Chair:

	* [[http://www.cs.utah.edu/~mflatt/][Matthew Flatt]] (University of Utah, USA)

Local Organizer:

	* [[http://www.es.mdh.se/staff/14-Ivica_Crnkovic][Ivica Crnkovic]] (Mälardalen University, SE)

Program Committee:

	* [[http://www.is.ocha.ac.jp/~asai/][Kenichi Asai]] (Ochanomizu University, JP)
	* [[http://phoenix.inria.fr/balland][Emilie Balland]] (INRIA, FR)
	* [[http://edwinb.wordpress.com/][Edwin Brady]] (University of St Andrews, UK)
	* [[http://www.it.uu.se/katalog/davcl820][Dave Clarke]] (Uppsala University, SE and KU Leuven, BE)
	* [[http://ti.arc.nasa.gov/profile/edenney/][Ewen Denney]] (SGT / NASA, US)
	* [[http://erdweg.org/][Sebastian Erdweg]] (Technische Universität Darmstadt, DE)
	* [[http://web.engr.oregonstate.edu/~erwig/][Martin Erwig]] (Oregon State University, US)
	* [[http://www-di.inf.puc-rio.br/~afgarcia/][Alessandro Garcia]] (Pontifícia Universidade Católica do Rio de Janeiro, BR)
	* [[http://www.dre.vanderbilt.edu/~gokhale/][Anirüddhā Gokhālé]] (Vanderbilt University, US)
	* [[http://gray.cs.ua.edu/][Jeff Gray]] (University of Alabama, US)
	* [[http://www.dawis.wiwi.uni-due.de/en/team/stefan-hanenberg/][Stefan Hanenberg]] (Universität Duisburg-Essen, DE)
	* [[https://parasol.tamu.edu/~jarvi/][Jaakko Järvi]] (Texas A&M University, US)
	* [[http://people.irisa.fr/Jean-Marc.Jezequel/][Jean-Marc Jézéquel]] (IRISA-University of Rennes, FR)
	* [[http://people.engr.ncsu.edu/ermurph3/][Emerson Murphy-Hill]] (North Carolina State University, US)
	* [[http://www.inf.usi.ch/faculty/nystrom/][Nathaniel Nystrom]] (University of Lugano, CH)
	* [[http://i.cs.hku.hk/~bruno/][Bruno C. d. S. Oliveira]] (Hong Kong University, HK)
	* [[http://www.cs.iastate.edu/~hridesh/][Hridesh Rajan]] (Iowa State University, US)
	* [[https://sites.google.com/a/ic.ufal.br/marcio/][Márcio Ribeiro]] (Universidade Federal de Alagoas, BR)
	* [[http://tiarkrompf.github.io/][Tiark Rompf]] (Oracle Labs and EPFL, CH)
	* [[http://fsl.cs.illinois.edu/index.php/Grigore_Rosu][Grigore Rosu]] (University of Illinois at Urbana-Champaign, US)
	* [[http://www.infosun.fim.uni-passau.de/spl/people-nsiegmund.php][Norbert Siegmund]] (Universität Passau, DE)
	* [[http://www.cs.uvm.edu/~ceskalka/][Christian Skalka]] (University of Vermont, US)
	* [[http://www.cs.jhu.edu/~scott/][Scott Smith]] (Johns Hopkins University, US)
	* [[http://pleiad.cl/people/etanter][Éric Tanter]] (Universidad de Chile, CL)
	* [[http://people.csail.mit.edu/emina/][Emina Torlak]] (University of California Berkeley, US)
	* [[http://tratt.net/laurie/][Laurence Tratt]] (King's College, UK)

Publicity Chair:

	* [[http://erdweg.org/][Sebastian Erdweg]] (Technical University of Darmstadt, DE)


Steering Committee:

	* [[http://www.ecs.soton.ac.uk/people/bf][Bernd Fischer]] (SA) (2011-)
	* [[http://ti.arc.nasa.gov/profile/edenney/][Ewen Denney]] (USA) (2012-)
	* [[https://www.cs.utah.edu/~mflatt/][Matthew Flatt]] (USA) (2014-)
	* [[http://parasol.tamu.edu/~jarvi/][Jaakko Jarvi]] (USA) (2010-)
	* [[http://www.cs.cmu.edu/~ckaestne/][Christian Kästner]] (USA) (2013-)
	* [[http://websrv0a.sdu.dk/ups/][Ulrik Pagh Schultz]] (DK) (2012-)
	* [[http://eelcovisser.org][Eelco Visser]] (NL), Chair (2008-2012, ex-officio member 2012-)