BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2007/newsitem/1763/10- 11-May-2007-Workshop-on-Logics-for-Coalgebras-Eucl ides-Building-Plantage-Muidergracht-24-Amsterdam DTSTAMP:20070228T000000 SUMMARY:Workshop on Logics for Coalgebras, Euclide s Building, Plantage Muidergracht 24, Amsterdam DTSTART;VALUE=DATE:20070510 DTEND;VALUE=DATE:20070511 LOCATION:Euclides Building, Plantage Muidergracht 24, Amsterdam DESCRIPTION:Coalgebras have been expanding and res haping the mathematical environment of modal logic : pivoting on the crucial notion of 'bisimulation invariance', a wide range of languages based on Se t-endofunctors have been recognized as modal in na ture and conversely, the coalgebraic nature of mod al logic is clearly recognizable by its model theo ry. This workshop aims at giving a snapshot of t he advances in the resulting field of coalgebraic modal logic. The program also includes a tutorial on coalgebras for modal logicians. For more inf ormation, see http://staff.science.uva.nl/~gfontai n/logics_for_coalgebras/home.html or contact Alles andra Palmigiano at apalmigi at science.uva.nl or Gaelle Fontaine at gfontain at science.uva.nl. Ear ly expressions of interests are very welcome: if y ou plan to attend the meeting, please contact Ales sandra. X-ALT-DESC;FMTTYPE=text/html:\n
\n Coalgebras have been expanding and reshaping the m athematical environment of modal logic: pivoting o n the crucial notion of 'bisimulation invariance', a wide range of languages based on Set-endofuncto rs have been recognized as modal in nature and con versely, the coalgebraic nature of modal logic is clearly recognizable by its model theory.\n < /p>\n
This workshop aims at giving a snaps hot of the advances in the resulting field of coal gebraic modal logic. The program also includes a t utorial on coalgebras for modal logicians.\n
\n \n\nFor more information, see\n http ://staff.science.uva.nl/~gfontain/logics_for_coalg ebras/home.html\nor contact Allesandra Palmigi ano\nat apalmigi at science.uva.nl or\nGaelle Fontaine at gfontain at span> science.uva.nl.\nEarly expressions of in terests are very welcome:\nif you plan to attend t he meeting, please contact Alessandra.\n
URL:/NewsandEvents/Archives/2007/newsitem/1763/10- 11-May-2007-Workshop-on-Logics-for-Coalgebras-Eucl ides-Building-Plantage-Muidergracht-24-Amsterdam END:VEVENT END:VCALENDAR