Committees

SAT Association

http://satassociation.org/

Program Chairs

• Alexey Ignatiev (Monash University)
• Stefan Szeider (TU Wien)

Local Conference Chair

• Vasco Manquinho (Instituto Superior Técnico, Universidade de Lisboa)

Program Committee

• Carlos Ansótegui (Universitat de Lleida)
• Jeremias Berg (University of Helsinki)
• Olaf Beyersdorff (Friedrich Schiller University Jena)
• Armin Biere (University of Freiburg)
• Nikolaj Bjørner (Microsoft Research)
• Sam Buss (University of California, San Diego)
• Leroy Chew (TU Wien)
• Katalin Fazekas (TU Wien)
• Johannes Fichte (Linköping University)
• Mathias Fleury (University of Freiburg)
• Vijay Ganesh (Georgia Institute of Technology)
• Markus Hecher (CNRS – Université d’Artois)
• Marijn Heule (Carnegie Mellon University)
• Ashlin Iser (Karlsruhe Institute of Technology)
• Mikoláš Janota (Czech Institute of of Informatics, Robotics and Cybernetics)
• Matti Järvisalo (University of Helsinki)
• Oliver Kullmann (Swansea University)
• Jordi Levy (IIIA-CSIC)
• Inês Lynce (INESC-ID/IST, Universidade de Lisboa)
• Meena Mahajan (Institute of Mathematical Sciences, HBNI, Chennai)
• Vasco Manquinho (INESC-ID/IST, Universidade de Lisboa)
• Felip Manyà (IIIA-CSIC)
• Ruben Martins (Carnegie Mellon University)
• Kuldeep Meel (Georgia Institute of Technology)
• Carlos Mencía (Universidad de Oviedo)
• Stefan Mengel (CNRS – Université d’Artois)
• Alexander Nadel (NVIDIA, Technion)
• Aina Niemetz (Stanford University)
• Jakob Nordström (University of Copenhagen)
• Albert Oliveras (Universitat Politècnica de Catalunya)
• Tomáš Peitl (TU Wien)
• Andre Schidler (University of Freiburg)
• Christoph Scholl (University of Freiburg)
• Martina Seidl (Johannes Kepler University Linz)
• Laurent Simon (Bordeaux University)
• Friedrich Slivovsky (University of Liverpool)
• Mate Soos (Ethereum Foundation)
• Peter Stuckey (Monash University)