February 3 – 6 , 2019, Dagstuhl Seminar 19062
Last update: October 4 2019

Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving

Participants

  • Sébastien Bardin (CEA LIST, FR) [dblp]
  • Armin Biere (Johannes Kepler Universität Linz, AT) [dblp]
  • Nikolaj S. Bjørner (Microsoft Research – Redmond, US) [dblp]
  • François Bobot (CEA LIST – Nano-INNOV, FR) [dblp]
  • Frank Busse (Imperial College London, GB)
  • Cristian Cadar (Imperial College London, GB) [dblp]
  • Maria Christakis (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Bruno Dutertre (SRI – Menlo Park, US) [dblp]
  • Benjamin Farinier (CEA LIST – Nano-INNOV, FR) [dblp]
  • Pierre Flener (Uppsala University, SE) [dblp]
  • Sean Heelan (University of Oxford, GB) [dblp]
  • Matti Järvisalo (University of Helsinki, FI) [dblp]
  • Timotej Kapus (Imperial College London, GB) [dblp]
  • Laura Kovács (TU Wien, AT) [dblp]
  • Laurent Michel (University of Connecticut – Storrs, US) [dblp]
  • Yannick Moy (AdaCore – Paris, FR) [dblp]
  • Robert Nieuwenhuis (UPC – Barcelona, ES) [dblp]
  • Jakob Nordström (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Marie Pelleau (Laboratoire I3S – Sophia Antipolis, FR) [dblp]
  • Mauro Pezzè (University of Lugano, CH) [dblp]
  • Tanja Schindler (Universität Freiburg, DE) [dblp]
  • Christian Schulte (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Laurent Simon (University of Bordeaux, FR) [dblp]
  • Mate Soos (Hobbyist – Berlin, DE) [dblp]
  • Peter J. Stuckey (The University of Melbourne, AU) [dblp]
  • Cesare Tinelli (University of Iowa – Iowa City, US) [dblp]
  • Andrei Voronkov (University of Manchester, GB) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner