Organizing Committee

Program Chairs

• Kuldeep S. Meel (National University of Singapore)
• Ofer Strichman (Technion)

Workshop Chair

• Alexander Nadel (Intel)

Program Committee

• Carlos Ansótegui (Universitat de Lleida)
• Gilles Audemard (CNRS-Université d’Artois)
• Jeremias Berg (University of Helsinki)
• Daniel Le Berre (CRIL-CNRS Université d’Artois)
• Olaf Beyersdorff (Friedrich Schiller University Jena)
• Armin Biere (Johannes Kepler University Linz)
• Miquel Bofill (Universitat de Girona)
• Shaowei Cai (Chinese Academy of Sciences)
• Supratik Chakraborty (IIT Bombay)
• Gilles Dequen (Université de Picardie)
• Vijay Ganesh (Waterloo)
• Fei He (Tsinghua University)
• Marijn Heule (Carnegie Mellon University)
• Mikoláš Janota (TU Prague)
• Matti Järvisalo (University of Helsinki)
• Jie-Hong Roland Jiang (National Taiwan University)
• Jordi Levy (Artificial Intelligence Research Institute)
• Chu Min Li (MIS Université de Picardie Jules Verne)
• Florian Lonsing (Stanford University)
• Inês Lynce (INESC-ID/IST)
• Meena Mahajan (The Institute of Mathematical Sciences)
• Vasco Manquinho (INESC-ID/IST)
• Felip Manyà (Artificial Intelligence Research Institute, IIIA-CSIC)
• Kuldeep S. Meel [PC Co-chair] (National University of Singapore)
• Alex Nadel (Intel, Haifa)
• Tomáš Peitl (Technische Universität Wien)
• Elizabeth Polgreen (University of Edinburgh)
• Christoph Scholl (University of Freiburg, Germany)
• Martina Seidl (Johannes Kepler University Linz)
• Subodh Sharma (IIT Delhi)
• Carsten Sinz (Karlsruhe Institute of Technology)
• Friedrich Slivovsky (TU Wein)
• Takehide Soh (Kobe University)
• Mate Soos (Zalando SE)
• Ofer Strichman [PC Co-chair] (Technion)
• Stefan Szeider (TU Wien)

Webmaster

• Jiong Yang (National University of Singapore)