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 | ![]() |