Program Committee Chairs

 

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 Pontifical Xavierian University of Cali 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 Rockwell Collins 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 Johnson 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