10-11 May 2007
Amsterdam, The Netherlands
++++++++++++++++ WORKSHOP ON LOGICS FOR COALGEBRAS May 10-11 2007 Institute for Logic, Language and Computation (ILLC) Plantage Muidergracht 24 1018 TV Amsterdam The Netherlands http://staff.science.uva.nl/~gfontain/logics_for_coalgebras/ ++++++++++++++++ Coalgebras have been expanding and reshaping the mathematical environment of modal logic: pivoting on the crucial notion of 'bisimulation invariance', a wide range of languages based on Set-endofunctors have been recognized as modal in nature and conversely, the coalgebraic nature of modal logic is clearly recognizable by its model theory. This workshop aims at giving a snapshot of the advances in the resulting field of coalgebraic modal logic. The program also includes a tutorial on coalgebras for modal logicians. Expressions of interests are very welcome. If you intend to participate, please contact Alessandra Palmigiano. LIST OF SPEAKERS: * Jiri Adamek (Technical University of Braunschweig) * Nick Bezhanishvili (University of Leicester) * Marcello M. Bonsangue (University of Leiden) * H. Peter Gumm (University of Marburg) * Bart Jacobs (University of Nijmegen) * Bartek Klin (University of Edinburgh) * Alexander Kurz (University of Leicester) * Dirk Pattinson (Imperial College London) * Lutz Schroeder (University of Bremen) * Yde Venema (University of Amsterdam) ORGANIZERS: Gaelle Fontaine <gfontaine@science.uva.nl> Alessandra Palmigiano <apalmigi@science.uva.nl> Yde Venema <yde@science.uva.nl>