Program Committee Chairs
- Annabelle McIver, Macquarie University
- Maurice ter Beek, Istituto di Scienza e Tecnologie dell’Informazione
Program Committee Members
| Bernhard Aichernig | TU Graz | Austria |  |
| Elvira Albert | Complutense University of Madrid | Spain |  |
| María Alpuente | Polytechnic University of Valencia | Spain | |
| Dalal Alrajeh | Imperial College | UK |  |
| Mário S. Alvim | Federal University of Minas Gerais | Brasil |  |
| June Andronick | CSIRO/Data61 | Australia |  |
| Christel Baier | TU Dresden | Germany |  |
| Luís Barbosa | University of Minho and UN University | Portugal |  |
| Gilles Barthe | IMDEA Software Institute | Spain | |
| Marcello Bersani | Polytechnic University of Milan | Italy |  |
| Gustavo Betarte | Tilsor SA and University of the Republic | Uruguay |  |
| Nikolaj Bjørner | Microsoft Research | USA |  |
| Frank de Boer | CWI | Netherlands |  |
| Sergiy Bogomolov | Australian National University | Australia | |
| Julien Brunel | ONERA | France |  |
| Néstor Cataño | Universidad del Norte | Colombia |  |
| Ana Cavalcanti | University of York | UK | |
| Antonio Cerone | Nazarbayev University | Kazakhstan |  |
| Marsha Chechik | University of Toronto | Canada |  |
| David Chemouil | ONERA | France | |
| Alessandro Cimatti | FBK-IRST | Italy | |
| Alcino Cunha | University of Minho & INESC TEC | Portugal | |
| Michael Dierkes | Collins Aerospace | France | |
| Alessandro Fantechi | University of Florence | Italy | |
| Carla Ferreira | New University of Lisbon | Portugal | |
| João Ferreira | Teesside University | UK | |
| José Fiadeiro | Royal Holloway University of London | UK | |
| Marcelo Frias | Buenos Aires Institute of Technology | Argentina |  |
| Fatemeh Ghassemi | University of Tehran | Iran |  |
| Silvia Ghilezan | University of Novi Sad | Serbia |  |
| Stefania Gnesi | ISTI-CNR | Italy | |
| Osman Hasan | National University of Sciences and Technology | Pakistan |  |
| Klaus Havelund | NASA Jet Propulsion Laboratory | USA | |
| Anne Haxthausen | TU Denmark | Denmark |  |
| Ian Hayes | University of Queensland | Australia | |
| Constance Heitmeyer | Naval Research Laboratory | USA | |
| Jane Hillston | University of Edinburgh | UK | |
| Thai Son Hoang | University of Southampton | UK | |
| Zhenjiang Hu | National Institute of Informatics | Japan |  |
| Dang Van Hung | Vietnam National University | Vietnam |  |
| Reiner Hähnle | TU Darmstadt | Germany | |
| Atsushi Igarashi | Kyoto University | Japan | |
| Suman Jana | Columbia University | USA | |
| Ali Jaoua | Qatar University | Qatar |  |
| Einar Broch Johnsen | University of Oslo | Norway |  |
| Joost-Pieter Katoen | RWTH Aachen University | Germany | |
| Laura Kovács | TU Vienna | Austria | |
| Alberto Lluch Lafuente | TU Denmark | Denmark | |
| Axel Legay | KU Leuven | Belgium |  |
| Gabriele Lenzini | University of Luxembourg | Luxemburg |  |
| Yang Liu | Nanyang Technical University | Singapore |  |
| Malte Lochau | TU Darmstadt | Germany | |
| Michele Loreti | University of Camerino | Italy | |
| Anastasia Mavridou | NASA Ames | USA | |
| Hernán Melgratti | University of Buenos Aires | Argentina | |
| Sun Meng | Peking University | China |  |
| Rosemary Monahan | Maynooth University | Ireland |  |
| Olfa Mosbahi | University of Carthage | Tunisia |  |
| Mohammad Mousavi | University of Leicester | UK | |
| César Muñoz | NASA Langley | USA | |
| Dominique Méry | LORIA and University of Lorraine | France | |
| Tim Nelson | Brown University | USA | |
| Gethin Norman | University of Glasgow | UK | |
| Colin O’Halloran | D-RisQ Software Systems | UK | |
| Federico Olmedo | University of Chile | Chile |  |
| Gordon Pace | University of Malta | Malta |  |
| Jan Peleska | University of Bremen | Germany | |
| Marielle Petit-Doche | Systerel | France | |
| Alexandre Petrenko | Computer Research Institute of Montréal | Canada | |
| Anna Philippou | University of Cyprus | Cyprus |  |
| Jorge Sousa Pinto | University of Minho & INESC TEC | Portugal | |
| André Platzer | Carnegie Mellon University | USA | |
| Jaco van de Pol | University of Twente | Netherlands | |
| Tahiry Rabehaja | Macquarie University | Australia | |
| Steve Reeves | University of Waikato | New Zealand |  |
| Matteo Rossi | Polytechnic University of Milan | Italy | |
| Augusto Sampaio | Federal University of Pernambuco | Brasil | |
| Gerardo Schneider | Chalmers University of Gothenburg | Sweden |  |
| Daniel Schwartz-Narbonne | Amazon Web Services | USA | |
| Natasha Sharygina | University of Lugano | Switzerland |  |
| Nikolay Shilov | Innopolis University | Russia |  |
| Ana Sokolova | University of Salzburg | Austria | |
| Marielle Stoelinga | University of Twente | Netherlands | |
| Jun Sun | Singapore University of Technology and Design | Singapore | |
| Helen Treharne | University of Surrey | UK | |
| Elena Troubitsyna | Åbo Akademi University | Finland |  |
| Tarmo Uustalu | Reykjavik University | Iceland |  |
| Andrea Vandin | TU Denmark | Denmark | |
| R. Venkatesh | TCS Research | India |  |
| Erik de Vink | TU Eindhoven and CWI | Netherlands | |
| Willem Visser | Stellenbosch University | South Africa |  |
| Farn Wang | National Taiwan University | Taiwan |  |
| Bruce Watson | Stellenbosch University | South Africa | |
| Tim Willemse | TU Eindhoven | Netherlands | |
| Kirsten Winter | University of Queensland | Australia | |
| Jim Woodcock | University of York | UK | |
| Lijun Zhang | Chinese Academy of Sciences | China | |