++++++++++++++++ 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 <[EMAIL PROTECTED]> Alessandra Palmigiano <[EMAIL PROTECTED]> Yde Venema <[EMAIL PROTECTED]> PROGRAM: ================================ Thursday 10 May: 9.15 welcome & coffee 9.30--10.30 Yde Venema (tutorial) 10.30--10.45 coffee break 10.45--11.45 Dirk Pattinson 11.45--12.45 Nick Bezhanishvili 12.45--14.30 lunch break 14.30--15.30 Alexander Kurz 15.30--16.30 Bartek Klin 16.30--16.45 coffee break 16.45--17.45 Jiri Adamek 20.00 social dinner Friday 11 May: 9.45 coffee 10.00--11.00 Bart Jacobs 11.00--12.00 Marcello M. Bonsangue 12.00--14.00 lunch break 14.00--15.00 Lutz Schroeder 15.00--16.00 H. Peter Gumm _______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
