Program Chairs

Local Organization

Program Committee

  • Jeremias Berg (University of Helsinki)
  • Olaf Beyersdorff (Friedrich Schiller University Jena)
  • Armin Biere (University of Freiburg)
  • Nikolaj Bjørner (Microsoft Research)
  • Shaowei Cai (Chinese Academy of Sciences)
  • Leroy Chew (TU Wien)
  • Johannes Fichte (TU Wien)
  • Marijn Heule (Carnegie Mellon University)
  • Alexey Ignatiev (Monash University)
  • Markus Iser (Karlsruhe Institute of Technology)
  • Mikoláš Janota (TU Prague)
  • Jie-Hong Roland Jiang (National Taiwan University)
  • Matti Järvisalo (University of Helsinki)
  • Daniela Kaufmann (TU Wien)
  • Benjamin Kiesl-Reiter (Amazon Web Services)
  • Oliver Kullmann (Swansea University)
  • Daniel Le Berre (CRIL-CNRS Université d’Artois)
  • Inês Lynce (INESC-ID/IST)
  • Meena Mahajan (The Institute of Mathematical Sciences)
  • Felip Manyà (IIIA-CSIC)
  • Ruben Martins (Carnegie Mellon University)
  • Kuldeep Meel (National University of Singapore)
  • Stefan Mengel (CNRS, CRIL, Lens)
  • Alexander Nadel (Intel and Technion)
  • Aina Niemetz (Stanford University)
  • Jakob Nordström (University of Copenhagen and Lund University)
  • Tomáš Peitl (TU Wien)
  • Luca Pulina (University of Sassari)
  • Christoph Scholl (University of Freiburg)
  • Martina Seidl (Johannes Kepler University Linz)
  • Laurent Simon (Bordeaux Institute of Technology)
  • Friedrich Slivovsky (TU Wien)
  • Mate Soos (Ethereum Foundation)
  • Martin Suda (Czech Technical University in Prague)
  • Stefan Szeider (TU Wien)
  • Marc Vinyals (University of Auckland)