Organizing Committee
Program Chairs
Workshop Chair
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)