Organizing Committee

SAT Association

http://satassociation.org/

Program Chairs

• Meena Mahajan (IMSc Chennai)
• Friedrich Slivovsky (TU Wien)

Local Organization

• Luca Pulina (University of Sassari)
• Laura Pandolfo (University of Sassari)
• Dario Guidotti (University of Sassari)

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 (University of Helsinki)
• 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)