[Om-announce] Workshop on Logics for Coalgebras: second call for participation (timetable now available)

ILLC illc at science.uva.nl
Thu Apr 26 13:05:46 CEST 2007



May 10-11 2007
Institute for Logic, Language and Computation (ILLC)
Plantage Muidergracht 24
1018 TV Amsterdam
The Netherlands



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.


*  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)


Gaelle Fontaine <gfontaine at science.uva.nl>
Alessandra Palmigiano <apalmigi at science.uva.nl>
Yde Venema <yde at science.uva.nl>



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

More information about the Om-announce mailing list