07. – 12. Oktober 2012, Dagstuhl-Seminar 12411
Letzte Aktualisierung: 09. November 2012

Coalgebraic Logics

Teilnehmer

  • Samson Abramsky (University of Oxford, GB)
  • Octavian Vladut Babus (University of Leicester, GB)
  • Jort Bergfeld (University of Amsterdam, NL)
  • Marta Bilkova (Charles University – Prague, CZ)
  • Marcello M. Bonsangue (Leiden University, NL)
  • Liang-Ting Chen (University of Birmingham, GB)
  • Vincenzo Ciancia (CNR – Pisa, IT)
  • Corina Cirstea (University of Southampton, GB)
  • Josée Desharnais (Université Laval – Québec, CA)
  • Ernst-Erich Doberkat (TU Dortmund, DE)
  • Matej Dostal (Czech Technical University, CZ)
  • Norman Francis Ferns (McGill University – Montreal, CA)
  • H. Peter Gumm (Universität Marburg, DE)
  • Helle Hvid Hansen (Radboud University Nijmegen, NL)
  • Ichiro Hasuo (University of Tokyo, JP)
  • Dirk Hofmann (University of Aveiro, PT)
  • Bart Jacobs (Radboud University Nijmegen, NL)
  • Achim Jung (University of Birmingham, GB)
  • Klaus Keimel (TU Darmstadt, DE)
  • Dexter Kozen (Cornell University, US)
  • Clemens Kupke (University of Oxford, GB)
  • Alexander Kurz (University of Leicester, GB)
  • Paul Blain Levy (University of Birmingham, GB)
  • Tadeusz Litak (Universität Erlangen-Nürnberg, DE)
  • Stefan Milius (TU Braunschweig, DE)
  • M. Andrew Moshier (Chapman University – Orange, US)
  • Robert Myers (TU Braunschweig, DE)
  • Alessandra Palmigiano (University of Amsterdam, NL)
  • Prakash Panangaden (McGill University – Montreal, CA)
  • Dusko Pavlovic (Royal Holloway University of London, GB)
  • Daniela Petrisan (University of Leicester, GB)
  • Katsuhiko Sano (JAIST – Ishikawa, JP)
  • Lutz Schröder (Universität Erlangen-Nürnberg, DE)
  • Alexandra Silva (Radboud University Nijmegen, NL)
  • Ana Sokolova (Universität Salzburg, AT)
  • Shashi M. Srivastava (Indian Statistical Institute – Kolkata, IN)
  • Sam Staton (University of Cambridge, GB)
  • Pedro Sánchez Terraf (Universidad Nacional de Córdoba, AR)
  • Baltasar Trancon y Widemann (Universität Bayreuth, DE)
  • Henning Urbat (TU Braunschweig, DE)
  • Jiri Velebil (Czech Technical University, CZ)
  • Yde Venema (University of Amsterdam, NL)
  • Joost Winter (CWI – Amsterdam, NL)
  • Chunlai Zhou (Renmin University of China – Beijing, CN)