Organization
Program Committee:
- Erika Abraham (RWTH Aachen University)
- Wolfgang Ahrendt (Chalmers University of Technology)
- Elvira Albert (Universidad Complutense de Madrid) - chair
- María Alpuente (Universitat Politècnica de València)
- Franz Baader (TU Dresden)
- Nikolaj Bjorner (Microsoft)
- Jasmin Blanchette (Vrije Universiteit Amsterdam)
- Simon Cruanes (Imandra)
- Cristina David (University of Bristol)
- Hans de Nivelle (School of Engineering and Digital Sciences, Nazarbayev University)
- Thomas Eiter (Vienna University of Technology)
- Florian Frohn (MPI for Informatics Saarbrücken)
- Jürgen Giesl (RWTH Aachen University)
- Rajeev Gore (The Australian National University)
- Arie Gurfinkel (University of Waterloo)
- Marijn Heule (Carnegie Mellon University)
- Nao Hirokawa (JAIST)
- Lukáš Holík (Brno University of Technology, FIT)
- Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)
- Mateja Jamnik (University of Cambridge)
- Mikolas Janota (INESC-ID/IST, University of Lisbon, Portugal)
- Cezary Kaliszyk (University of Innsbruck)
- Benjamin Lucien Kaminski (University College London)
- Laura Kovacs (Vienna University of Technology) - chair
- Annabelle McIver (Macquarie University)
- Aart Middeldorp (University of Innsbruck)
- Dale Miller (INRIA and LIX/Ecole Polytechnique)
- Jorge A Navas (SRI International)
- Aina Niemetz (Stanford University)
- Michael Norrish (CSIRO)
- Albert Oliveras (Universitat Politècnica de Catalunya)
- Adrian Palacios (Universitat Politecnica de Valencia)
- Elaine Pimentel (UFRN)
- Giles Reger (The University of Manchester)
- Andrew Reynolds (University of Iowa)
- Alejandro Russo (Chalmers University of Technology)
- Tanja Schindler (University of Freiburg)
- Peter Schneider-Kamp (University of Southern Denmark)
- Daniel Schwartz-Narbonne (Amazon Web Services)
- Helmut Seidl (Technical University of Munich)
- Natasha Sharygina (USI Lugano)
- Martin Suda (Czech Technical University in Prague)
- Margus Veanes (Microsoft)
- Christoph Weidenbach (Max Planck Institute for Informatics)
- Sarah Winkler (Free University of Bozen-Bolzano)
- Florian Zuleger (Vienna University of Technology)
Workshop Chair:
- Martin Suda, Czech Institute of Informatics, Robotics and Cybernetics