Committees




Program Committee Chairs
Violet Ka I Pun (Western Norway University of Applied Sciences, University of Oslo, NO)
Adenilso da Silva Simão (University of São Paulo, BR)
Volker Stolz (Western Norway University of Applied Sciences, NO)

Workshop/Tutorial Chairs
Antonio Cerone (Nazarbayev University, KZ)
Einar Broch Johnsen (University of Oslo, NO)

Local Organisation Chairs
Xiaoshan Li (University of Macau, MO)
Ignacio Marcovecchio (UNU-CS, MO)
Joseph Chi Man Pun (University of Macau, MO)

Publicity Chairs
Zhiming Liu (Southwest University, CN)
Radu Muschevici (University of Nottingham, MY)

Program Committee
Erika Ábrahám (RWTH Aachen University, DE)
Kamel Barkaoui (CNAM, FR)
Frédéric Blanqui (INRIA, FR)
Simon Bliudze (INRIA, FR)
Benedikt Bollig (LSV, ENS Cachan, CNRS, FR)
Eduardo Bonelli (Stevens Institute of Technology, US)
Ana Cavalcanti (University of York, UK)
Antonio Cerone (Nazarbayev University, KZ)
Yu-Fang Chen (National Taiwan University, TW)
Uli Fahrenberg (LIX, FR)
Bernd Fischer (Stellenbosch University, ZA)
Paola Giannini (Università del Piemonte Orientale, Alessandria, IT)
Edward Hermann Haeusler (Pontifícia Universidade Católica do Rio de Janeiro, BR)
Thomas Troels Hildebrandt (University of Copenhagen, DK)
Ross Horne (University of Luxembourg, LU)
Reiner Hähnle (Technische Universität Darmstadt, DE)
Eun-Young Kang (University of Southern Denmark, DK)
Jan Křetínský (Technische Universität München, DE)
Lars Michael Kristensen (Western Norway University of Applied Sciences, NO)
Martin Leucker (University of Lübeck, DE)
Michael Lienhardt (ONERA, FR; University of Turin, IT)
Dominique Méry (LORIA, FR)
Mohammad Reza Mousavi (University of Leicester, UK)
Maciej Piróg (Wroclaw University, PL)
Sanjiva Prasad (IIT Delhi, IN)
Violet Ka I Pun (Western Norway University of Applied Sciences, University of Oslo, NO)
Riadh Robbana (INSAT, TN)
Kristin Yvonne Rozier (Iowa State University, US)
Augusto Sampaio (Universidade Federal de Pernambuco, BR)
César Sánchez (IMDEA Software Institute, ES)
Adenilso da Silva Simão (University of São Paulo, BR)
Marjan Sirjani (Mälardalen University, SE; Reykjavik University, IS)
Volker Stolz (Western Norway University of Applied Sciences, NO)
Georg Struth (University of Sheffield, UK)
Jing Sun (University of Auckland, NZ)