John Fitzgerald, University of Newcastle upon Tyne, UK

Martin Leucker, Technische Universität München, Germany

Zhiming Liu (Chair), UNU-IIST, Macao

Tobias Nipkow, Technische Universität München, Germany

Augusto Sampaio, Universidade Federal de Pernambuco, Brazil

Natarajan Shankar, SRI, USA

Jim Woodcock, University of York, UK