Steering Committee
- Ana Cavalcanti, University of York, UK (chair)
- Martin Leucker, Universität zu Lübeck, DE
- Zhiming Liu, Southwest University, CN
- Tobias Nipkow, Technische Universität München, DE
- Augusto Sampaio, Universidade Federal de Pernambuco, BR
- Natarajan Shankar, SRI International, US