February 10 – 15 , 2013, Dagstuhl Seminar 13071
Last update: September 26 2014

Dependence Logic: Theory and Applications

Participants

  • Samson Abramsky (University of Oxford, GB)
  • Dietmar Berwanger (ENS – Cachan, FR)
  • Olaf Beyersdorff (University of Leeds, GB)
  • Andreas R. Blass (University of Michigan – Ann Arbor, US)
  • Julian Bradfield (University of Edinburgh, GB)
  • Panayiota Constantinou (University of Cambridge, GB)
  • Nadia Creignou (University of Marseille, FR)
  • Anuj Dawar (University of Cambridge, GB)
  • A. Philip Dawid (University of Cambridge, GB)
  • Arnaud Durand (University Paris-Diderot, FR)
  • Johannes Ebbing (Leibniz Universität Hannover, DE)
  • Uwe Egly (TU Wien, AT)
  • Fredrik Engström (University of Göteborg, SE)
  • Pietro Galliani (University of Helsinki, FI)
  • Georg Gottlob (University of Oxford, GB)
  • Erich Grädel (RWTH Aachen, DE)
  • Miika Hannula (University of Helsinki, FI)
  • Lauri Hella (University of Tampere, FI)
  • Åsa Hirvonen (University of Helsinki, FI)
  • Wilfrid Hodges (Okehampton, Devon, GB)
  • Theo Janssen (University of Amsterdam, NL)
  • Phokion G. Kolaitis (University of California – Santa Cruz, US)
  • Juha Kontinen (University of Helsinki, FI)
  • Antti Kuusisto (University of Tampere, FI)
  • Pierfrancesco La Mura (HHL Leipzig, DE)
  • Sebastian Link (University of Auckland, NZ)
  • Allen L. Mann (Birkhäuser Science – New York, US)
  • Arne Meier (Leibniz Universität Hannover, DE)
  • Eric J. Pacuit (Tilburg University, NL)
  • Tero Tulenheimo (University of Lille, FR)
  • Jouko Väänänen (University of Helsinki, FI & University of Amsterdam, NL)
  • Jonni Virtema (University of Tampere, FI)
  • Heribert Vollmer (Leibniz Universität Hannover, DE)
  • Dag Westerstahl (University of Stockholm, SE)
  • Fan Yang (University of Helsinki, FI)