Workshop "Logics for Coalgebras"

10-11 May 2007, Amsterdam



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 about coalgebras.



Contacts: Gaelle Fontaine (gfontain@science.uva.nl ), Alessandra Palmigiano (apalmigi@science.uva.nl ), Yde Venema (yde@science.uva.nl )

Home

Speakers

Abstracts

Program

Location

Dinner