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 
Alessandra Palmigiano 
Yde Venema