SAT Association
Program Chairs
Program Committee
- Carlos Ansótegui (University Of Lleida)
- Jeremias Berg (University of Helsinki)
- Olaf Beyersdorff (Friedrich Schiller University Jena)
- Armin Biere (Albert Ludwigs University Freiburg)
- Nikolaj Bjørner (Microsoft Research)
- Shaowei Cai (Institute of Software, Chinese Academy of Sciences)
- Supratik Chakraborty (IIT Bombay, co-chair)
- Katalin Fazekas (TU Wien)
- Vijay Ganesh (Georgia Institute of Technology)
- Marijn Heule (Carnegie Mellon University)
- Alexey Ignatiev (Monash University)
- Markus Iser (Karlsruhe Institute of Technology)
- Mikoláš Janota (Czech Technical University in Prague)
- Jie-Hong Roland Jiang (National Taiwan University, co-chair)
- Matti Järvisalo (University of Helsinki)
- Daniela Kaufmann (TU Wien)
- Benjamin Kiesl-Reiter (Amazon Web Services, Inc.)
- Oliver Kullman (Swansea University)
- Daniel Le Berre (CNRS - Université d'Artois)
- Jordi Levy (IIIA-CSIC)
- Inês Lynce (INESC-ID/IST, Universidade de Lisboa)
- Meena Mahajan (The Institute of Mathematical Sciences, Chennai)
- Ruben Martins (Carnegie Mellon University)
- Kuldeep S. Meel (University of Toronto)
- Stefan Mengel (CNRS, CRIL)
- Alexander Nadel (Technion & Intel)
- Aina Niemetz (Stanford University)
- Jakob Nordström (University of Copenhagen and Lund University)
- Luca Pulina (University of Sassari)
- Kristin Yvonne Rozier (Iowa State University)
- Christoph Scholl (University of Freiburg)
- Roberto Sebastiani (University of Trento)
- Natasha Sharygina (University of Lugano)
- Laurent Simon (Bordeaux Institute of Technology)
- Friedrich Slivovsky (Vienna University of Technology)
- Mate Soos (Ethereum Foundation)
- Martin Suda (Czech Technical University in Prague)
- Stefan Szeider (TU Wien)
- Marc Vinyals (University of Auckland)
Sponsorship Chair
Publicity Chair
- Abhisekh Sankaran (TCS Research, India)
Webmasters
- Weichieh Wang
- Anand Yeolekar
