18. – 23. September 2016, Dagstuhl Seminar 16381
Letzte Aktualisierung: 13. Januar 2017

SAT and Interactions

Participants

  • Olaf Beyersdorff (University of Leeds, GB) [dblp]
  • Joshua Blinkhorn (University of Leeds, GB) [dblp]
  • Ilario Bonacina (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Samuel R. Buss (University of California – San Diego, US) [dblp]
  • Florent Capelli (University Paris-Diderot, FR) [dblp]
  • Leroy Chew (University of Leeds, GB) [dblp]
  • Nadia Creignou (Aix-Marseille University, FR) [dblp]
  • Arnaud Durand (University Paris-Diderot, FR) [dblp]
  • Uwe Egly (TU Wien, AT) [dblp]
  • Shiguang Feng (Universität Leipzig, DE) [dblp]
  • John Franco (University of Cincinnati, US) [dblp]
  • Nicola Galesi (Sapienza University of Rome, IT) [dblp]
  • Anselm Haak (Leibniz Universität Hannover, DE) [dblp]
  • Miki Hermann (Ecole Polytechnique – Palaiseau, FR) [dblp]
  • Marijn J. H. Heule (University of Texas – Austin, US) [dblp]
  • Edward A. Hirsch (Steklov Institute – St. Petersburg, RU) [dblp]
  • Kazuo Iwama (Kyoto University, JP) [dblp]
  • Jan Johannsen (LMU München, DE) [dblp]
  • Peter Jonsson (Linköping University, SE) [dblp]
  • Oliver Kullmann (Swansea University, GB) [dblp]
  • Victor Lagerqvist (TU Dresden, DE) [dblp]
  • Florian Lonsing (TU Wien, AT) [dblp]
  • Meena Mahajan (The Institute of Mathematical Sciences, India, IN) [dblp]
  • Barnaby Martin (Durham University, GB) [dblp]
  • Arne Meier (Leibniz Universität Hannover, DE) [dblp]
  • Stefan Mengel (Artois University – Lens, FR) [dblp]
  • Jakob Nordström (KTH Royal Institute of Technology – Stockholm, SE) [dblp]
  • Steffen Reith (Hochschule RheinMain, DE) [dblp]
  • Rahul Santhanam (University of Oxford, GB) [dblp]
  • Dominik Scheder (Shanghai Jiao Tong University, CN) [dblp]
  • Irena Schindler (Leibniz Universität Hannover, DE) [dblp]
  • Johannes Schmidt (Jönköping University, SE) [dblp]
  • Uwe Schöning (Universität Ulm, DE) [dblp]
  • Anil Shukla (The Institute of Mathematical Sciences, India, IN) [dblp]
  • Sarah Sigley (University of Leeds, GB)
  • Stefan Szeider (TU Wien, AT) [dblp]
  • Jacobo Torán (Universität Ulm, DE) [dblp]
  • Heribert Vollmer (Leibniz Universität Hannover, DE) [dblp]
  • Christoph M. Wintersteiger (Microsoft Research UK – Cambridge, GB) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner