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

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