Organizers and Committees

The SAT Association

http://satassociation.org/

Program Chairs

• Jakob Nordström (University of Copenhagen & Lund University)
• Jeremias Berg (University of Helsinki)

Local Organization Chair

• Ciaran McCreesh (University of Glasgow)

Workshop Chairs

• Marc Vinyals (University of Auckland)
• Zeynep Kiziltan (University of Bologna)

Chairs of the Doctoral Program

• Katalin Fazekas (Technical University of Vienna)
• Mun See Chang (University of St Andrews)

Program Committee

• Erika Abraham (RWTH Aachen University)
• Carlos Ansótegui (Universitat de Lleida)
• Olaf Beyersdorff (Friedrich Schiller University Jena)
• Armin Biere (University of Freiburg)
• Nikolaj Bjørner (Microsoft)
• Bart Bogaerts (KU Leuven)
• Ilario Bonacina (UPC Universitat Politecnica de Catalunya)
• Shaowei Cai (Institute of Software, Chinese Academy of Sciences)
• Supratik Chakraborty (IIT Bombay)
• Leroy Chew (University of Leeds)
• Katalin Fazekas (TU Wien)
• Johannes K. Fichte (Linköping University)
• Noah Fleming (Memorial University)
• Mathias Fleury (University of Freiburg)
• Priyanka Golia (Indian Institute of Technology Delhi)
• Marijn Heule (Carnegie Mellon University)
• Markus Iser (Karlsruhe Institute of Technology)
• Jie-Hong Roland Jiang (National Taiwan University, Taiwan)
• Matti Järvisalo (University of Helsinki)
• George Katsirelos (MIA Paris, INRAE, AgroParisTech)
• Daniela Kaufmann (TU Wien)
• Massimo Lauria (Sapienza University of Rome)
• Daniel Le Berre (CNRS - Université d’Artois)
• Jordi Levy (IIIA - CSIC)
• Meena Mahajan (The Institute of Mathematical Sciences, HBNI, Chennai)
• Stefan Mengel (CNRS, CRIL)
• Aina Niemetz (Stanford University)
• Albert Oliveras (Universitat Politècnica de Catalunya)
• Kristin Yvonne Rozier (Iowa State University)
• Andre Schidler (Uni Freiburg)
• Tanja Schindler (University of Basel)
• Dominik Schreiber (Karlsruhe Institute of Technology)
• Roberto Sebastiani (University of Trento)
• Martina Seidl (Johannes Kepler University Linz)
• Laurent Simon (Labri, Bordeaux Institute of Technology)
• Friedrich Slivovsky (University of Liverpool)
• Takehide Soh (Information Science and Technology Center, Kobe University)
• Stefan Szeider (TU Wien)
• Marc Vinyals (University of Auckland)