Program Committee: Main Track

  • Aaron Hunter, British Columbia Institute of Technology, Canada
  • Alessandro Cimatti, Fondazione Bruno Kessler, Italy
  • Alessandro Gianola, INESC-ID/Instituto Superior Técnico - Universidade de Lisboa, Portugal
  • Alexander Bochman, Computer Science Dept. - Holon Institute of Technology, Israel
  • Alexis de Colnet, Algorithms and Complexity Group - TU Wien, Austria
  • Alisa Kovtunova, TU Dresden, Germany
  • Ana Ozaki, University of Oslo & University of Bergen, Norway
  • Anaëlle Wilczynski, Paris-Saclay University, France
  • Andrea Orlandini, CNR, Italy
  • Andreas Niskanen, University of Helsinki, Finland
  • Angelo Montanari, University of Udine, Italy
  • Anna Rapberger, TU Dortmund, Germany
  • Antonio Di Stasio, City St George’s - University of London, United Kingdom
  • Attila Sali, HUN-REN Alfred Renyi Institute of Mathematics, Hungary
  • Axel Polleres, Vienna University of Economics and Business - WU Wien, Austria
  • Badran Raddaoui, University Paris-Saclay, France
  • Barış Sertkaya, Frankfurt University of Applied Sciences, Germany
  • Bartosz Bednarczyk, TU Dresden & University of Wrocław, Poland
  • Boris Konev, University of Liverpool, United Kingdom
  • Boris Motik, University of Oxford, United Kingdom
  • Camille Bourgaux, CNRS - DI ENS, France
  • Carl Corea, University of Koblenz, Germany
  • Carlos Areces, FaMAF - Universidad Nacional de Córdoba, Argentina
  • Carlos Viegas Damásio, Universidade NOVA de Lisboa, Portugal
  • Cem Okulmus, Paderborn University, Germany
  • Chiaki Sakama, Wakayama University, Japan
  • Christian Fermüller, Vienna University of Technology, Austria
  • Christoph Wernhard, University of Potsdam, Germany
  • Daan Apeldoorn, IMBEI - University Medical Center Mainz & Z Quadrat GmbH, Germany
  • Daniela Inclezan, Miami University, United States
  • David Carral, LIRMM - Inria - University of Montpellier - CNRS, FR
  • David Toman, University of Waterloo, Canada
  • Davide Lanti, Free University of Bozen-Bolzano, Italy
  • Doerthe Arndt, TU Dresden, Germany
  • Domenico Fabio Savo, University of Bergamo, Italy
  • Egor V. Kostylev, University of Oslo, Norway
  • Elena Botoeva, University of Kent, United Kingdom
  • Emil Weydert, CSC - University of Luxembourg, Luxembourg
  • Emiliano Lorini, IRIT, France
  • Fabio Cozman, University of São Paulo, Brazil
  • Fabio Aurelio D'Asaro, University of Verona, Italy
  • Federico Scafoglieri, Sapienza University of Rome, Italy
  • Fernando Bobillo, University of Zaragoza, Spain
  • Flavio Ferrarotti, Software Competence Centre Hagenberg, Austria
  • Francesca Alessandra Lisi, Università degli Studi di Bari Aldo Moro, Italy
  • Francesco Belardinelli, Imperial College London, United Kingdom
  • Francesco Kriegel, Technische Universität Dresden, Germany
  • Francesco Leofante, Imperial College London, United Kingdom
  • Francesco Ricca, Department of Mathematics and Computer Science University of Calabria, Italy
  • François Goasdoué, Univ Rennes 1, France
  • François Schwarzentruber, École normale supérieure de Lyon, France
  • Frieder Stolzenburg, Harz University of Applied Sciences, Germany
  • Friedrich Slivovsky, University of Liverpool, Austria
  • Gerardo Simari, Universidad Nacional del Sur (UNS) and CONICET, Argentina
  • Gianluca Cima, Sapienza University of Rome, Italy
  • Gianvincenzo Alfano, D.I.M.E.S Department - University of Calabria, Italy
  • Giorgos Flouris, ICS-FORTH, Greece
  • Giovambattista Ianni, University of Calabria - Italy, Italy
  • Giovanni Casini, ISTI - CNR, Italy
  • Hannes Strass, TU Dresden, Germany
  • Henri Prade, IRIT - CNRS, France
  • Isabelle Kuhlmann, FernUniversität in Hagen, Germany
  • Ivan Varzinczak, Université Sorbonne Paris Nord, France
  • Jandson S. Ribeiro, Cardiff University, United Kingdom
  • Javier Romero Davila, Postdam University, Germany
  • Jean Lieber, LORIA - INRIA Lorraine, France
  • Jens Classen, Roskilde University, Denmark
  • Jesse Heyninck, Open Universiteit - the Netherlands, Germany
  • Jianmin Ji, University of Science and Technology of China, China
  • Johannes Oetsch, Jönköping University, Sweden
  • Johannes Wallner, TU Graz, Austria
  • Johannes K. Fichte, Linköping University, Sweden
  • Jonni Virtema, University of Glasgow, Scotland
  • Joost Vennekens, Vrije Universiteit Brussel, Belgium
  • Jörg Rothe, Heinrich-Heine-Universität Düsseldorf, Germany
  • Jorge Fandinno, University of Nebraska Omaha, United States
  • Jorge Lobo, ICREA and Universitat Pompeu Fabra, Spain
  • Juan Carlos Nieves, Umeå University, Sweden
  • Juha Kontinen, University of Helsinki, Finland
  • Jürgen Landes, Ludwig Maximilian University of Munich, Germany
  • Jussi Rintanen, Aalto University, Finland
  • Kai Sauerwald, University of Hagen, Germany
  • Ken Satoh, Center for Juris-Informatics - ROIS - Japan, Japan
  • Kenneth Skiba, Artificial Intelligence Group - University of Hagen, Germany
  • Konstantin Schekotihin, Alpen-Adria Universität Klagenfurt, Austria
  • Kuldeep S. Meel, University of Toronto, Singapore
  • Laurent Perrussel, IRIT - Universite de Toulouse - France, France
  • Leopoldo Bertossi, SKEMA Business School Canada inc., Canada
  • Leora Morgenstern, PARC (Palo Alto Research Center), United States
  • Liat Peterfreund, The Hebrew University of Jerusalem, Israel
  • Lluis Godo, Artificial Intelligence Research Institute - IIIA - CSIC, Spain
  • Loris Bozzato, Fondazione Bruno Kessler, Italy
  • Luca Geatti, University of Udine, Italy
  • Lucía Gómez Álvarez, Inria, France
  • Lukáš Chrpa, Czech Technical University in Prague, Czechia
  • Manolis Gergatsoulis, Professor - Department of Archives - Library Sciences and Museology, Greece
  • Mantas Šimkus, TU Vienna, Austria
  • Marcel Gehrke, Universität Hamburg, Germany
  • Marcelo A. Falappa, Universidad Nacional del Sur, Argentina
  • Marco Calautti, University of Milano, Italy
  • Marco Console, Sapienza - University of Rome, Italy
  • Marco Garapa, Universidade da Madeira, Portugal
  • Marco Manna, Department of Mathematics and Computer Science - University of Calabria, Italy
  • Marco Maratea, DIBRIS - University of Genova, Italy
  • Marco Montali, KRDB Research Centre - Free University of Bozen-Bolzano, Italy
  • Marco Wilhelm, TU Dortmund, Germany
  • Maria Vanina Martinez, Artificial Intelligence Research Institute (IIIA - CSIC), Spain
  • Mario Alviano, Department of Mathematics and Computer Science - University of Calabria, Italy
  • Markus Hecher, CRIL Lens, France
  • Marlo Souza, Federal University of Bahia, Brazil
  • Martín Diéguez, University of Angers, France
  • Martin Homola, Comenius University in Bratislava, Slovakia
  • Matthias Knorr, Universidade NOVA de Lisboa, Portugal
  • Matthias Thimm, FernUniversität in Hagen, Germany
  • Maurice Funk, Universität Leipzig, Germany
  • Maurice Pagnucco, The University of New South Wales, Australia
  • Maurício Reis, Universidade da Madeira, Portugal
  • Mauro Vallati, University of Huddersfield, United Kingdom
  • Maxime Buron, Inria, France
  • Meir Kalech, Ben Gurion University of the Negev, Israel
  • Michael Morak, University of Klagenfurt, Austria
  • Michel Leclère, University of Montpellier (LIRMM/INRIA) - France, France
  • Mirek Truszczynski, Computer Science Department - University of Kentucky, United States
  • Mohan Sridharan, University of Edinburgh, United Kingdom
  • Munyque Mittelmann, CNRS Paris, FR
  • Nico Potyka, Cardiff University, United Kingdom
  • Nicolas Maudet, LIP6 - Sorbonne Université, France
  • Nicolas Schwind, National Institute of Advanced Industrial Science and Technology (AIST), Japan
  • Nicolas Troquard, Gran Sasso Science Institute, Italy
  • Odinaldo Rodrigues, King's College London, United Kingdom
  • Ofer Arieli, The Academic College of Tel-Aviv, Israel
  • Oliver Kutz, KRDB Research Centre for Knowledge and Data - Free University of Bozen-Bolzano, Italy
  • Oliver Fernández Gil, TU Dresden, Germany
  • Ondřej Kuželka, Czech Technical University in Prague, Czechia
  • Panos Rondogiannis, National and Kapodistrian University of Athens, Greece
  • Paulo Shakarian, Arizona State University, United States
  • Pedro Cabalar, University of Corunna, Spain
  • Periklis Mantenoglou, Örebro University, Sweden
  • Peter Baumgartner, CSIRO, Australia
  • Piero Bonatti, University of Naples Federico II, Italy
  • Piotr Ostropolski-Nalewaja, University of Wrocław / TU Dresden, Poland
  • Przemysław Andrzej Wałęga, University of Oxford - Queen Mary University of London, United Kingdom
  • Quentin Manière, Universität Leipzig - ScaDS.AI, DE
  • Rafael Peñaloza, University of Milano-Bicocca, Italy
  • Ramon Pino Perez, Université d'Artois, France
  • Ricardo Gonçalves, Universidade NOVA de Lisboa, Portugal
  • Ringo Baumann, Leipzig University, Germany
  • Roman Kontchakov, Birkbeck - University of London, United Kingdom
  • Ron Petrick, Heriot-Watt University, United Kingdom
  • Ronald de Haan, University of Amsterdam, Netherlands
  • Roni Stern, Ben Gurion University of the Negev, Israel
  • Sagar Malhotra, Fondazione Bruno Kessler, Italy
  • Sandro Preto, Federal University of ABC, Brazil
  • Sanja Lukumbuzya, TU Wien, Austria
  • Sarah Alice Gaggl, TU Dresden, Germany
  • Sasha Rubin, The University of Sydney, Australia
  • Serena Villata, CNRS - Laboratoire d'Informatique - Signaux et Systèmes de Sophia-Antipolis, France
  • Sergio Greco, University of Calabria, Italy
  • Shqiponja Ahmetaj, TU Wien, Austria
  • Shufang Zhu, University of Liverpool, United Kingdom
  • Srdjan Vesic, CRIL - CNRS – Univ. Artois, France
  • Stefan Borgwardt, TU Dresden, Germany
  • Stefano Bistarelli, Università di Perugia, Italy
  • Sylwia Polberg-Riener, Cardiff University, United Kingdom
  • Tanya Braun, University of Münster, Germany
  • Theofanis Aravanis, University of Patras, Greece
  • Till Hofmann, RWTH Aachen University, Germany
  • Tim Lyon, Technische Universität Dresden, Germany
  • Tjitze Rienstra, Maastricht University, Netherlands
  • Tobias Geibinger, Vienna University of Technology, Austria
  • Tomi Janhunen, Tampere University, Finland
  • Tommaso Flaminio, IIIA - CSIC, Spain
  • Toryn Q. Klassen, University of Toronto, Canada
  • Umberto Straccia, ISTI-CNR, Italy
  • Van-Giang Trinh, Ho Chi Minh City University of Technology, VN
  • Victor Gutierrez-Basulto, Cardiff University, United Kingdom
  • Vladislav Ryzhikov, Birkbeck College - London, United Kingdom
  • Wassila Ouerdane, MICS - CentraleSupélec - Université Paris-Saclay, France
  • Wojciech Penczek, Institute of Computer Science of PAS, Poland
  • Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria
  • Xavier Parent, TU Wien, Austria
  • Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
  • Yazmin A. Ibanez-Garcia, School of Computer Science and Informatics - Cardiff University, United Kingdom
  • Yongmei Liu, Sun Yat-sen University, China
  • Yoni Zohar, Bar-Ilan University, Israel
  • Zeynep G. Saribatur, TU Wien, Austria