Organizers

	Antonio Barbalace antonio.barbalace -at- ed.ac.uk The University of Edinburgh
	Stefan Lankes slankes -at- eonerc.rwth-aachen.de RWTH Aachen University
	Pierre Olivier pierre.olivier -at- manchester.ac.uk The University of Manchester
	Olaf Spinczyk olaf -at- uos.de Universität Osnabrück

PC Chair

Carsten Weinhold carsten.weinhold -at- barkhauseninstitut.org Barkhausen Institute

Program Committee

• Anton Burtsev, University of Utah
• Matteo Busi, Foscari University of Venice
• Michael Engel, University of Bamberg
• Chris Hawblitzel, Microsoft Research
• Michael Homer, Victoria University of Wellington
• Michael Klemm, AMD
• Stefan Lankes, RWTH Aachen University
• Hui Lu, University of Texas at Arlington
• Tom Spink, University of St Andrews
• Xiaoguang Wang, University of Illinois Chicago
• Carsten Weinhold, Barkhausen Institute (chair)
• ... more members will be announced soon