Committees

Program Committee

Member(s)	Affiliation
Dalal Alrajeh	Imperial College, UK
Luis Soares Barbosa	University of Minho, PT
Ezio Bartocci	TU Vienna, AT
Nikolaj Bjørner	Microsoft, US
Sandrine Blazy	University of Rennes, FR
Borzoo Bonakdarpour	Michigan State University, US
Pablo Castro	University of Rio Cuarto, AR
Ana Cavalcanti	University of York, UK
Milan Česka	Brno University of Technology, CZ
Marsha Chechik (Co-Chair)	University of Toronto, CA
Nancy Day	University of Waterloo, CA
Bernd Fischer	Stellenbosch University, ZA
Arie Gurfinkel	University of Waterloo, CA
Reiner Hähnle	TU Darmstadt, DE
Ichiro Hasuo	National Institute of Informatics, JP
Keijo Heljanko	University of Helsinki, FI
Holger Hermanns	Saarland University, DE
Peter Höfner	Australian National University, AU
Marieke Huisman	University of Twente, NL
Adrian Francalanza	University of Malta, MT
Einar Broch Johnsen	University of Oslo, NO
Sebastian Junges	Radboud University, NL
Joost-Pieter Katoen (Co-Chair)	RWTH Aachen University, DE
Martin Leucker	University of Lübeck, DE
Yi Li	Nanyang Technological University, SG
Lei Ma	University of Alberta, CA
Mieke Massink	CNR-ISTI, IT
Christoph Matheja	Techiuncal University of Denmark, DK
Annabelle McIver	Macquarie University, AU
Claudio Menghi	McMaster University, CA
Jan Peleska	University of Bremen, DE
Andre Platzer	Carnegie Mellon University, USA
Jan-Oliver Ringert	Bauhaus University Weimar, DE
Baishakhi Ray	Columbia University, US
Christina Seceleanu	Malardalen University, SE
Marjan Sirjani	Malardalen University, SE
Paola Spoletini	Kennesaw State University, US
Jun Sun	Singapore Management University, SMG
Emilio Tuosto	Gran Sasso Science Institute, IT
Matthias Volk	University of Twente (AE Chair), NL
Ou Wei	Thales, CA
Mike Whalen	Amazon Web Services, US
Mingsheng Ying	University of Technology Sydney, AU
Naijun Zhan	Chinese Academy of Sciences, CN

Organizing Committee

Role	Member(s)
General Chair	Martin Leucker
PC Chair	Joost-Pieter Katoen Marsha Chechik
AE Chair	Matthias Volk
Workshop Chairs	Esfandiar Mohammadi Volker Stolz
Tutorial Chairs	Martin Sachenbacher Cesar Sanchez
Publicity Chairs	Violet Ka I Pun
Exhibition Chairs	Tim Suthau Einar Broch Johnsen Marieke Huisman
Industry Day Chairs	Tim Suthau Ralf Huuck Grigore Rosu	Alexander Weiss Oksana Tkachuk Chih-Hong Cheng
Financial Chairs	Maria Ostanina
Local Organization Chairs	Martin Mildner
Doctoral Symposium	Ralf Möller Wolfgang Ahrendt
FM meets AI Track Chair	Özgür Özcep Benedikt Bollig Daniel Neider
Journal First Committee	Maurice ter Beek Eerke Boiten Manfred Broy Cliff Jones

Steering Committee

Role	Member
Chair	Ana Cavalcanti
Treasurer	Nico Plat
Secretary	Lars-Henrik Eriksson
Conferences	Maurice ter Beek
Communication	Einar Broch Johnsen