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/2015/newsitem/6826/10-
 April-2015-Coalgebra-in-the-Netherlands-COIN-
DTSTAMP:20150329T000000
SUMMARY:Coalgebra in the Netherlands (COIN)
DTSTART;TZID=Europe/Amsterdam:20150410T133000
DTEND;TZID=Europe/Amsterdam:20150410T000000
LOCATION:CWI, Amsterdam, The Netherlands
DESCRIPTION:COIN, or Coalgebra in the Netherlands,
  is a seminar taking place alternating at the Radb
 oud University in Nijmegen and the CWI in Amsterda
 m. The aim of COIN is to bring together coalgebra 
 researchers from various locations in the Netherla
 nds, and share current results and questions in th
 e world of coalgebra. We welcome presentations on 
 any subject related to coalgebra.  Speakers:  Marc
 o Peressotti: Behavioural equivalences for coalgeb
 ras with unobservable moves  Daniela Petri~an: Up-
 to techniques for bisimulations with silent moves 
  Jurriaan Rot: Coalgebraic trace semantics via for
 getful logics   For more information, see http://c
 s.ru.nl/~hbasold/coin/
X-ALT-DESC;FMTTYPE=text/html:\n        <p>COIN, or
  Coalgebra in the Netherlands, is a seminar taking
  place alternating at the Radboud University in Ni
 jmegen and the CWI in Amsterdam. The aim of COIN i
 s to bring together coalgebra researchers from var
 ious locations in the Netherlands, and share curre
 nt results\n        and questions in the world of 
 coalgebra. We welcome presentations on any subject
  related to coalgebra.</p>\n      <p>Speakers:<br/
 >\n    Marco Peressotti: Behavioural equivalences 
 for coalgebras with unobservable moves<br/>\n    D
 aniela Petri~an: Up-to techniques for bisimulation
 s with silent moves<br/>\n    Jurriaan Rot: Coalge
 braic trace semantics via forgetful logics\n      
 </p>\n    \n        <p>For more information, see <
 a target="_blank" href="http://cs.ru.nl/~hbasold/c
 oin/">http://cs.ru.nl/~hbasold/coin/</a></p>\n    
URL:/NewsandEvents/Archives/2015/newsitem/6826/10-
 April-2015-Coalgebra-in-the-Netherlands-COIN-
END:VEVENT
END:VCALENDAR
