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      <p>\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      <p>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      
 </p>\n    \n      <p>\nFor more information, see\n
 <a target="_blank" href="http://staff.science.uva.
 nl/~gfontain/logics_for_coalgebras/home.html">http
 ://staff.science.uva.nl/~gfontain/logics_for_coalg
 ebras/home.html</a>\nor contact Allesandra Palmigi
 ano\nat <a class="email">apalmigi <span class="at"
 >at</span> science.uva.nl</a> or\nGaelle Fontaine 
 at <a class="email">gfontain <span class="at">at</
 span> science.uva.nl</a>.\nEarly expressions of in
 terests are very welcome:\nif you plan to attend t
 he meeting, please contact Alessandra.\n      </p>
 \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