February 2 – 7 , 2020, Dagstuhl Seminar 20061
Last update: September 21 2020

SAT and Interactions

Participants

  • Olaf Beyersdorff (Universität Jena, DE) [dblp]
  • Joshua Lewis Blinkhorn (Universität Jena, DE) [dblp]
  • Benjamin Böhm (Universität Jena, DE)
  • Ilario Bonacina (UPC Barcelona Tech, ES) [dblp]
  • Florent Capelli (Lille I University, FR) [dblp]
  • Leroy Nicholas Chew (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Judith Clymo (University of Leeds, GB)
  • Nadia Creignou (Aix-Marseille University, FR) [dblp]
  • Anupam Das (University of Birmingham, GB)
  • Susanna de Rezende (The Czech Academy of Sciences – Prague, CZ) [dblp]
  • Akhil Dixit (University of California – Santa Cruz, US)
  • Clare Dixon (University of Liverpool, GB) [dblp]
  • Uwe Egly (TU Wien, AT) [dblp]
  • Vijay Ganesh (University of Waterloo, CA) [dblp]
  • Azza Gaysin (Charles University – Prague, CZ)
  • Edward A. Hirsch (Steklov Institute – St. Petersburg, RU) [dblp]
  • Ullrich Hustadt (University of Liverpool, GB) [dblp]
  • MikolᚠJanota (IST – Lisbon, PT) [dblp]
  • Jan Johannsen (LMU München, DE) [dblp]
  • Hans Kleine Büning (Universität Paderborn, DE) [dblp]
  • Oliver Kullmann (Swansea University, GB) [dblp]
  • Massimo Lauria (Sapienza University of Rome, IT) [dblp]
  • Meena Mahajan (Institute of Mathematical Sciences – Chennai, IN) [dblp]
  • Joao Marques-Silva (University of Toulouse, FR) [dblp]
  • Barnaby Martin (Durham University, GB) [dblp]
  • Stefan Mengel (CNRS, CRIL – Lens FR) [dblp]
  • Claudia Nalon (University of Brasilia, BR) [dblp]
  • Jakob Nordström (University of Copenhagen, DK & Lund University, SE) [dblp]
  • Dirk Pattinson (Australian National University – Canberra, AU) [dblp]
  • TomᚠPeitl (Universität Jena, DE)
  • Renate Schmidt (University of Manchester, GB) [dblp]
  • Uwe Schöning (Universität Ulm, DE) [dblp]
  • David R. Sherratt (Universität Jena, DE)
  • Anil Shukla (Indian Institute of Technology Ropar – Rupnagar, IN) [dblp]
  • Friedrich Slivovsky (TU Wien, AT) [dblp]
  • Gaurav Sood (Institute of Mathematical Sciences – Chennai, IN)
  • Lutz Straßburger (INRIA Saclay – Île-de-France, FR)
  • Jacobo Torán (Universität Ulm, DE) [dblp]
  • Marc Vinyals (Technion – Haifa, IL) [dblp]
  • Florian Wörz (Universität Ulm, DE)


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