Program Committee: Main Track

  • Erman Acar, University of Amsterdam
  • Shqiponja Ahmetaj, TU Wien
  • Yamine Ait Ameur, IRIT-CNRS-Toulouse INP
  • Gianvincenzo Alfano, University of Calabria
  • José J. Alferes, Universidade Nova de Lisboa
  • Mario Alviano, University of Calabria
  • Benjamin Aminof, TU Wien
  • Alessandro Antonucci, IDSIA
  • Daan Apeldoorn, University Medical Center Mainz
  • Theofanis Aravanis, University of the Peloponnese
  • Carlos Areces, Universidad Nacional de Córdoba
  • Dörthe Arndt, TU Dresden
  • Alessandro Artale, Free University of Bozen-Bolzano
  • Hamed Ayoobi, Imperial College London
  • Mutsunori Banbara, Nagoya University
  • Ringo Baumann, Leipzig University
  • Peter Baumgartner, Data61, CSIRO & Australian National University
  • Bartosz Bednarczyk, TU Dresden & University of Wrocław
  • Francesco Belardinelli, Imperial College London
  • Leopoldo Bertossi, SKEMA Business School
  • Stefano Bistarelli, University of Perugia
  • Fernando Bobillo, University of Zaragoza
  • Alexander Bochman, Holon Institute of Technology
  • Thomas Bolander, Technical University of Denmark
  • Piero A. Bonatti, Università di Napoli Federico II
  • Blai Bonet, Universidad Simón Bolívar
  • Stefan Borgwardt, Technische Universität Dresden
  • Pierre Bourhis, CNRS
  • Loris Bozzato, Fondazione Bruno Kessler
  • Maxime Buron, UCA
  • Marco Calautti, University of Milan
  • David Carral, Inria
  • Giovanni Casini, ISTI-CNR and CAIR
  • Federico Cerutti, University of Brescia
  • Lukas Chrpa, Czech Technical University in Prague
  • Agata Ciabattoni, TU Wien
  • Gianluca Cima, Sapienza University of Rome
  • Jens Claßen, Roskilde University
  • Oana Cocarascu, King's College London
  • Marco Console, University of Edinburgh
  • Carl Corea, University of Koblenz-Landau
  • Augusto B. Corrêa, University of Basel
  • Fabio . Cozman, Universidade de Sao Paulo
  • Fabio Aurelio D'Asaro, University of Verona
  • Carlos Damásio, Universidade Nova de Lisboaa
  • Alessandro Daniele, Fondazione Bruno Kessler
  • Mehdi Dastani, Utrecht University
  • Alexis de Colnet, TU Wien
  • Ronald de Haan, University of Amsterdam
  • Warren Del-Pinto, University of Manchester
  • Antonio Di Stasio, University of Oxford
  • Federica Di Stefano, TU Wien
  • Martin Dieguez, University of Angers
  • Clare Dixon, University of Manchester
  • Dragan Doder, Utrecht University
  • Wolfgang Faber, Alpen-Adria-Universität Klagenfurt
  • Jorge Fandinno, University of Nebraska Omaha
  • Eduardo Fermé, University of Madeira
  • Christian Fermüller, Vienna University of Technology
  • Oliver Fernandez Gil, TU Dresden
  • Flavio Ferrarotti, SCCH
  • Johannes K. Fichte, Linköping University
  • Tommaso Flaminio, IIIA - CSIC
  • Giorgos Flouris, ICS FORTH
  • Gerhard Friedrich, Universität Klagenfurt
  • Maurice Funk, Leipzig University
  • Marco Garapa, University of Madeira
  • Marcel Gehrke, University of Luebeck
  • Tobias Geibinger, TU Wien
  • Manolis Gergatsoulis, Ionian University
  • Alessandro Gianola, INESC-ID/Instituto Superior Técnico, Universidade de Lisboa
  • Nina Gierasimczuk, Technical University of Denmark
  • Laura Giordano, Università degli Studi del Piemonte Orientale
  • François Goasdoué, U. Rennes
  • Lluis Godo Lacasa, IIIA - CSIC
  • Lucia Gomez, Inria
  • Ricardo Gonçalves, Universidade Nova de Lisboa
  • Sergio Greco, UNICAL
  • Jasmin Grosinger, Örebro University
  • Paolo Guagliardo, University of Edinburgh
  • Victor Gutierrez Basulto, Cardiff University
  • Jonas Philipp Haldimann, FernUniversität in Hagen
  • Zhang Haodi, Shenzhen University
  • Markus Hecher, MIT
  • Jesse Heyninck, Technische Universität Dortmund
  • Till Hofmann, RWTH Aachen University
  • Martin Homola
  • Aaron M. Hunter, British Columbia Institute of Technology
  • Giovambattista Ianni, Università della Calabria
  • Daniela Inclezan, Miami University
  • Jianmin Ji, University of Science and Technology of China
  • Magdalena Kacprzak, Bialystok University of Technology
  • Shakil M. Khan, University of Regina
  • Toryn Q. Klassen, University of Toronto and Vector Institute
  • Matthias Knorr, Universidade Nova de Lisboa
  • Boris Konev, University of Liverpool
  • Roman Kontchakov, Birkbeck, University of London
  • Juha Kontinen, University of Helsinki
  • Patrick Koopmann, Vrije Universiteit Amsterdam
  • Egor V. Kostylev, University of Oslo
  • Alisa Kovtunova, TU Dresden
  • Francesco Kriegel, Technische Universität Dresden
  • Markus Krötzsch, TU Dresden
  • Isabelle Kuhlmann, University of Hagen
  • Oliver Kutz, Free University of Bozen-Bolzano
  • Jürgen Landes, University of Milan
  • Davide Lanti, Free University of Bozen-Bolzano
  • Francesco Leofante, Imperial College London
  • Vladimir Lifschitz, University of Texas
  • Fangzhen Lin, Hong Kong University of Science and Technology
  • Sebastian Link, University of Auckland
  • Francesca Alessandra Lisi, University of Bari "A. Moro"
  • Jorge Lobo, ICREA - Universitat Pompeo Fabra
  • Anela Lolic, TU Wien
  • Emiliano Lorini, IRIT
  • Timothy S. Lyon, TU Dresden
  • Sagar Malhotra, TU Wien
  • Quentin Manière, Leipzig University
  • Marco Manna, University of Calabria
  • Marco Maratea, University of Calabria
  • Lucas Martinelli Tabajara, Runtime Verification
  • Nicolas Maudet, Sorbonne Université
  • Andrea Mazzullo, Free University of Bozen-Bolzano
  • Kevin McAreavey, University of Bristol
  • John Meyer, Utrecht University
  • Loizos Michael, Open University of Cyprus
  • Munyque Mittelmann , University of Naples Federico II
  • Ralf Möller, University of Lübeck
  • Angelo Montanari, University of Udine
  • Leora Morgenstern, Systems & Technology Research
  • Filip Murlak, University of Warsaw
  • Nysret Musliu, TU Wien
  • Matthias Nickles, University of Galway
  • Juan C. Nieves, Umeå University
  • Andreas Niskanen, University of Helsinki
  • Johannes Oetsch, Jonkoping University
  • Cem Okulmus, Umeå University
  • Nicola Olivetti, Aix-Marseille University, LIS
  • Andrea Orlandini, National Research Council of Italy
  • Piotr Ostropolski-Nalewaja, University of Wrocław
  • Wassila Ouerdane, MICS, CentraleSupélec
  • Ana Ozaki, University of Oslo
  • Aline Paes, Universidade Federal Fluminense
  • Nina Pardal, University of Sheffield
  • Xavier Parent, University of Luxembourg
  • Francesco Parisi, University of Calabria
  • Timothy J. Parker, IRIT
  • Fabio Patrizi, Sapienza University of Rome
  • Guilherme Paulino-Passos, Imperial College London
  • David Pearce, UPM
  • Wojciech Penczek, Institute of Computer Science, PAS
  • Elise Perrotin, AIST
  • Laurent Perrussel, University of Toulouse 1
  • Liat Peterfreund, Hebrew University of Jerusalem
  • Ron Petrick, Heriot-Watt University
  • Andreas Pieris, University of Edinburgh & University of Cyprus
  • Ramón Pino Pérez, CRIL-Université d'Artois
  • Sylwia Polberg, Cardiff University
  • Axel Polleres, WU Wien
  • Sandro Preto, University of São Paulo
  • Badran Raddaoui, SAMOVAR CNRS UMR 5157
  • Antonio Rago, Imperial College London
  • Anna Rapberger, Imperial College London
  • Maurício Reis, Universidade da Madeira
  • Francesco Ricca, University of Calabria
  • Tjitze Rienstra, Maastricht University
  • Ricardo O. Rodriguez, Universidad de Buenos Aires
  • Alessandro Ronca, University of Oxford
  • Panos Rondogiannis, National and Kapodistrian University of Athens
  • Sasha Rubin, The University of Sydney
  • Chiaki Sakama, Wakayama University
  • Attila Sali, Alfréd Rényi Institute of Mathematics
  • Zeynep G. Saribatur, TU Wien
  • Ken Satoh, National Institute of Informatics
  • Kai Sauerwald, FernUniversität in Hagen
  • Domenico Fabio Savo, Università degli Studi di Bergamo
  • Federico M. Scafoglieri, La Sapienza
  • Konstantin Schekotihin, Alpen-Adria-Universität Klagenfurt
  • Steven Schockaert
  • Francois Schwarzentruber, ENS Rennes
  • Dietmar A. Seipel, University of Würzburg
  • Baris Sertkaya, Frankfurt University of Applied Sciences
  • Paulo A. Shakarian, ASU
  • Gerardo I. Simari, Universidad Nacional del Sur in Bahia Blanca & CONICET
  • Michael Sioutis, LIRMM, Université de Montpellier & CNRS
  • Kenneth Skiba, University of Hagen
  • Friedrich Slivovsky, TU Wien
  • Marlo Souza, Federal University of Bahia
  • Mohan Sridharan, University of Edinburgh, UK
  • Roni Stern, BGU
  • Frieder . Stolzenburg, Harz University
  • Umberto Straccia, National Research Council, Italy
  • Hannes Strass, TU Dresden
  • Karim Tabia, Université d'Artois
  • Balder ten Cate, University of Amsterdam
  • David Tena Cucala, University of Oxford
  • Andrea G. B. Tettamanzi, Université Côte d'Azur
  • Michael Thomazo, Inria; DI ENS; ENS; CNRS; University PSL
  • David Toman, University of Waterloo
  • Irina Trubitsyna, University of Calabria
  • Sara Ugolini, IIIA, CSIC
  • Markus Ulbricht, University of Leipzig
  • Alessandro Umbrico, National Research Council of Italy
  • Mauro Vallati, University of Huddersfield
  • Kees van Berkel, TU Wien
  • Leon van der Torre, University of Luxembourg
  • Ivan Varzinczak, Université Paris 8
  • Joost Vennekens, KU Leuven
  • Srdjan Vesic, CNRS
  • Amanda Vidal, Czech Academy of Sciences
  • Jonni Virtema, University of Sheffield
  • Domagoj Vrgoc, Pontificia Universidad Catolica de Chile
  • Przemysław A. Wałęga, University of Oxford
  • Kewen Wang, Griffith University
  • Yuheng Wang, Google
  • Christoph Wernhard, University of Potsdam
  • Emil Weydert, University of Luxembourg
  • Marco Wilhelm, TU Dortmund
  • Xiang Yin, Imperial College London
  • Marina Zanella, University of Brescia
  • Jessica Zangari, University of Calabria
  • Xiangfu Zhao, Yantai University
  • Shufang Zhu, University of Oxford
  • Yoni Zohar, Bar Ilan University