Committees


GENERAL CHAIR

Anna Philippou, University of Cyprus, CY


PC CHAIRS

John S. Fitzgerald, Newcastle University, GB

Stefania Gnesi, ISTI-CNR, IT

Constance L. Heitmeyer, Naval Research Lab, US


WORKSHOPS CHAIRS

Nearchos Paspallis, University of Central Lancashire Cyprus, CY

Martin Steffen, University of Oslo, NO


INDUSTRY DAY CHAIRS

Georgia Kapitsaki, University of Cyprus, CY

Tiziana Margaria, University of Limerick and Lero, IE

Marcel Verhoef, European Space Agency, NL


TUTORIAL CHAIRS

Dimitrios Kouzapas, Glasgow University, GB

Oleg Sokolsky, University of Pennsylvania, US


DOCTORAL SYMPOSIUM CHAIRS

Andrew Butterfield, Trinity College Dublin, IE

Matteo Rossi, Politecnico di Milano, IT


PUBLICITY CHAIR

George Papadopoulos, University of Cyprus, CY


LOCAL ORGANIZATION CHAIRS

Yannis Dimopoulos, University of Cyprus, CY

Chryssis Georgiou, University of Cyprus, CY


PROGRAM COMMITTEE

Erika Abraham, RWTH Aachen University, DE

Bernhard Aichernig, TU Graz, AT

Myla Archer, Naval Research Laboratory, US

Gilles Barthe, IMDEA Software Institute, ES

Nikolaj Bjørner, Microsoft Research, US

Michael Butler, University of Southampton, GB

Andrew Butterfield, Trinity College, Dublin, IE

Ana Cavalcanti, University of York, GB

David Clark, University College London, GB

Frank De Boer, CWI, NL

Jin Song Dong, National University of Singapore, SG

Javier Esparza, Technical University of Munich, DE

John S. Fitzgerald, Newcastle University, GB

Vijay Ganesh, University of Waterloo, CA

Diego Garbervetsky, Universidad de Buenos Aires, AR

Dimitra Giannakopoulou, NASA Ames, US

Stefania Gnesi, ISTI-CNR, IT

Wolfgang Grieskamp Google, US

Arie Gurfinkel, Carnegie Mellon University, US

Anne Haxthausen, Technical University of Denmark, DK

Ian Hayes, University of Queensland, AU

Constance Heitmeyer, Naval Research Laboratory, US

Jozef Hooman, TNO-ESI and Radboud University Nijmegen, NL

Laura Humphrey, Air Force Research Laboratory, US

Fuyuki Ishikawa, National Institute of Informatics, JP

Einar Broch Johnsen, University of Oslo, NO

Cliff Jones, Newcastle University, GB

Joost-Pieter Katoen, RWTH Aachen University, DE

Gerwin Klein, NICTA and University of New South Wales, AU

Laura Kovacs, Chalmers University of Technology, SE

Peter Gorm Larsen, Aarhus University, DK

Yves Ledru, Université Grenoble Alpes, FR

Rustan Leino, Microsoft Research, US

Elizabeth Leonard, Naval Research Laboratory, US

Martin Leucker, University of Lübeck, DE

Michael Leuschel, University of Düsseldorf, DE

Zhiming Liu, Southwest University, CN

Tiziana Margaria, University of Limerick and Lero, IE

Mieke Massink, CNR-ISTI, IT

Annabelle McIver , Macquarie University, AU

Dominique Méry, LORIA and Université de Lorraine, FR

Peter Müller, ETH Zürich, CH

Tobias Nipkow, TU München, DE

José Oliveira, Universidade do Minho, PT

Olaf Owe, Universitity of Oslo, NO

Sam Owre, SRI International, US

Anna Philippou, University of Cyprus, CY

Elvinia Riccobene, University of Milan, IT

Grigore Rosu, University of Illinois at Urbana-Champaign, US

Augusto Sampaio, Federal University of Pernambuco, BR

Gerardo Schneider, Chalmers University of Gothenburg, SE

Natasha Sharygina, University of Lugano, CH

Marjan Sirjani, Reykjavik University, IS

Ana Sokolova, University of Salzburg, AT

Jun Sun, Singapore University of Technology and Design, SG

Kenji Taguchi, AIST, JP

Stefano Tonetta, FBK-irst, IT

Marcel Verhoef, European Space Agency, NL

Alan Wassyng, McMaster University, CA

Heike Wehrheim, University of Paderborn, DE

Michael Whalen, University of Minnesota, US

Jim Woodcock, University of York, GB

Fatiha Zaidi, Université Paris-Sud, FR

Gianluigi Zavattaro, University of Bologna, IT

Lijun Zhang, Chinese Academy of Sciences, CN

Jian Zhang, Chinese Academy of Sciences, CN



Sponsors