Photo credits: Paulo Evangelista, Unsplash.
Conference Chair
- Inês Lynce (INESC-ID, IST, Universidade de Lisboa)
Program Chair
- Nicolas Beldiceanu (IMT Atlantique, LS2N CNRS)
DEI Chair
- Mohamed Siala (INSA Toulouse and LAAS-CNRS)
- Gilles Simonin (Institut Mines Telecom Atlantique)
Doctoral Program Chair
- Mohamed Siala (INSA Toulouse and LAAS-CNRS)
Website Chair
- Pedro Orvalho (IIIA-CSIC, Spain)
Senior Program Committee
- Arnaud Gotlieb (Simula Research Laboratory)
- Chris Beck (University of Toronto)
- Christian Bessiere (University of Montpellier, CNRS)
- Christine Solnon (INSA Lyon)
- Christophe Lecoutre (CRIL)
- Ciaran McCreesh (University of Glasgow)
- Claude-Guy Quimper (Université Laval)
- George Katsirelos (INRAE)
- Gilles Pesant (Polytechnique Montreal)
- Guido Tack (Monash University)
- Ian Gent (University of St Andrews)
- Justin Pearson (Uppsala University)
- Laurent Michel (University of Connecticut)
- Laurent Simon (University of Bordeaux, LaBRI)
- Louis-Martin Rousseau (Polytechnique Montreal)
- Nadjib Lazaar (University of Paris-Saclay)
- Neng-Fa Zhou (Brooklyn College)
- Roland H. C. Yap (National University of Singapore)
- Simon de Givry (INRAE)
- Tias Guns (Catholic University of Leuven)
- Willem-Jan Van Hoeve (Carnegie Mellon University)
- Zeynep Kiziltan (University of Bologna)
Program Committee
- Agostino Dovier (University of Udine)
- Alejandro Arbelaez (Universitat Politècnica de València)
- Alexander Schiendorfer (Technische Hochschule Ingolstadt)
- Alexandre Goldsztejn (CNRS, University of Nantes, LS2N)
- Alexey Ignatiev (Monash University)
- Allen Z. Zhong (Monash University)
- Amel Hidouri (University Burgundy Franche-Comté)
- Anastasia Paparrizou (LIRMM)
- André Augusto Ciré (University of Toronto Scarborough)
- Andrea Formisano (University of Udine)
- Andreas Podelski (University of Freiburg)
- Andrei A. Bulatov (Simon Fraser University)
- Armin Biere (Universität Freiburg)
- Armin Wolf (Fraunhofer)
- Arnaud Lallouet (RTE R&D)
- Arnaud Malapert (University Nice Sophia Antipolis)
- Augustin Delecluse (Catholic University of Leuven)
- Barry O'Sullivan (University College Cork)
- Berthe Y. Choueiry (University of Nebraska-Lincoln)
- Bertrand Neveu (Gustave Eiffel University)
- Catherine Dubois (National School of Computer Science for Industry and Business)
- Cédric Pralet (ONERA)
- Cemalettin Ozturk (Munster Technology University and University College Cork)
- Charles Prud'homme (IMT Atlantique, LS2N)
- Chu-Min Li (University of Picardie Jules Verne)
- Clément Carbonnel (University of Montpellier, LIRMM)
- Dimosthenis Tsouros (Catholic University of Leuven)
- Edward Lam (Monash University)
- Elise Vareilles (IMT Mines Albi)
- Emir Demirovic (Delft University of Technology)
- Emmanuel Hebrard (LAAS-CNRS)
- Enrico Pontelli (New Mexico State University)
- Feifei Ma (Chinese Academy of Sciences)
- Felix Ulrich-Oltean (University of York)
- Felix Winter (Vienna University of Technology)
- Florentina Voboril (TU Wien)
- François Fages (INRIA)
- Frédéric Saubion (University of Angers)
- Gilles Simonin (IMT Atlantique, LS2N)
- Gilles Trombettoni (University of Montpellier, LIRMM)
- Guillaume Derval (University of Liège)
- Guillaume Escamocher (University College Cork)
- Hadrien Cambazard (Grenoble INP)
- Hélène Verhaeghe (Catholic University of Louvain)
- Helge Spieker (Simula Research Laboratory)
- Helmut Simonis (University College Cork)
- Ian Miguel (University of St Andrews)
- Ilankaikone Senthooran (Monash University)
- Jakob Nordstrom (University of Copenhagen and Lund University)
- Jean-Charles Régin (University Nice Sophia Antipolis)
- Jeremias Berg (University of Helsinki)
- Jip J. Dekker (Monash University)
- Joan Espasa (University of St Andrews)
- Johannes Klaus Fichte (Linköping University)
- John N. Hooker (Carnegie Mellon University)
- Ken Brown (University College Cork)
- Kevin Leo (Monash University)
- Kostas Stergiou (University of Western Macedonia)
- Kyle E. C. Booth (Amazon)
- Lars Kotthoff (University of St Andrews)
- Laura Climent (University Polytechnic of Valencia)
- Laurent Perron (Google)
- Luis Quesada (University College Cork)
- María Andreína Francisco Rodríguez (Uppsala University)
- Martin C. Cooper (University of Toulouse, IRIT)
- Mateu Villaret (University of Girona)
- Mats Carlsson (RISE)
- Michael Codish (Ben-Gurion University)
- Michael J. Maher (Reasoning Research Institute, Canberra)
- Michele Lombardi (University of Bologna)
- Mikolas Janota (Czech Institute of Informatics, Robotics and Cybernetics)
- Mohamed Siala (LAAS-CNRS)
- Nassim Belmecheri (Simula Research Laboratory)
- Neil Yorke-Smith (Delft University of Technology)
- Nguyen Dang (University of St Andrews)
- Nikolaj S. Bjørner (Microsoft Research)
- Nysret Musliu (Vienna University of Technology)
- Olivier Lhomme (IBM)
- Özgür Akgün (University of St Andrews)
- Patrick Prosser (University of Glasgow)
- Paul Shaw (IBM)
- Peter Nightingale (University of York)
- Peter Stuckey (Monash University)
- Petr Vilím (OptalCP)
- Phebe Vayanos (University of Southern California)
- Philippe Codognet (Sorbonne University)
- Philippe Refalo (IBM)
- Philippe Vismara (University of Montpellier, LIRMM)
- Pierre Flener (Uppsala University)
- Pierre Schaus (Catholic University of Louvain)
- Quentin Cappart (UCLouvain & Polytechnique Montréal)
- Radu Marinescu (IBM)
- Roger Kameugne (Maroua University)
- Roman Barták (Charles University)
- Ruiwei Wang (National University of Singapore)
- Ruth Hoffmann (University of St Andrews)
- Samba Ndiaye (Claude Bernard University, LIRIS)
- Samir Loudni (IMT Atlantique, LS2N)
- Sebastian Ordyniak (University of Leeds)
- Serdar Kadioglu (Brown University | Fidelity Investments)
- Stefano Bistarelli (Perugia University)
- Stéphanie Roussel (ONERA)
- Steve Prestwich (University College Cork)
- Thi-Bich-Hanh Dao (University of Orleans, LIFO)
- Thierry Petit (Emotia)
- Vasco Manquinho (INESC-ID, Instituto Superior Técnico - Universidade de Lisboa)
- Vijay Ganesh (Georgia Institute of Technology)
- Vinasétan Ratheil Houndji (University of Abomey-Calavi)
- Xavier Lorca (IMT Mines Albi)
- Xiao Peng (LAAS-CNRS)