Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10-11 May 2007, Workshop on Logics for Coalgebras, Euclides Building, Plantage Muidergracht 24, Amsterdam

Date: 10-11 May 2007
Location: Euclides Building, Plantage Muidergracht 24, 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 on coalgebras for modal logicians.

For more information, see http://staff.science.uva.nl/~gfontain/logics_for_coalgebras/home.html or contact Allesandra Palmigiano at or Gaelle Fontaine at . Early expressions of interests are very welcome: if you plan to attend the meeting, please contact Alessandra.

Please note that this newsitem has been archived, and may contain outdated information or links.