December 6 – 9 , 2009, Dagstuhl Seminar 09502
Last update: January 26 2011

Coalgebraic Logics

Participants

  • Samson Abramsky (University of Oxford, GB)
  • Jiri Adamek (TU Braunschweig, DE)
  • Ingo David Battenfeld (TU Dortmund, DE)
  • Nick Bezhanishvili (Imperial College London, GB)
  • Marta Bilkova (Charles University – Prague, CZ)
  • Marcello M. Bonsangue (Leiden University, NL)
  • Vincenzo Ciancia (University Complutense – Madrid, ES)
  • Corina Cirstea (University of Southampton, GB)
  • Josée Desharnais (Université Laval – Québec, CA)
  • Ernst-Erich Doberkat (TU Dortmund, DE)
  • Fabio Gadducci (University of Pisa, IT)
  • Mai Gehrke (Radboud University Nijmegen, NL)
  • H. Peter Gumm (Universität Marburg, DE)
  • Helle Hvid Hansen (TU Eindhoven, NL)
  • Bart Jacobs (Radboud University Nijmegen, NL)
  • Achim Jung (University of Birmingham, GB)
  • Klaus Keimel (TU Darmstadt, DE)
  • Christian Kissig (University of Leicester, GB)
  • Bartek Klin (University of Cambridge, GB)
  • Clemens Kupke (Imperial College London, GB)
  • Alexander Kurz (University of Leicester, GB)
  • Raul Leal (University of Amsterdam, NL)
  • Paul Blain Levy (University of Birmingham, GB)
  • Tadeusz Litak (University of Leicester, GB)
  • Stefan Milius (TU Braunschweig, DE)
  • Lawrence S. Moss (Indiana University – Bloomington, US)
  • Alessandra Palmigiano (University of Amsterdam, NL)
  • Dirk Pattinson (Imperial College London, GB)
  • Dusko Pavlovic (University of Oxford, GB)
  • Daniela Petrisan (University of Leicester, GB)
  • Lutz Schröder (DFKI Bremen, DE)
  • Christoph Schubert (TU Dortmund, DE)
  • Ana Sokolova (Universität Salzburg, AT)
  • Sam Staton (University of Cambridge, GB)
  • Jiri Velebil (Czech Technical University, CZ)
  • Yde Venema (University of Amsterdam, NL)
  • Jacob Vosmaer (University of Amsterdam, NL)
  • Lijun Zhang (University of Oxford, GB)
  • Chunlai Zhou (Tsinghua University Beijing, CN)