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/2013/newsitem/5340/12-
 November-2013-Coalgebra-in-the-Netherlands-COIN-
DTSTAMP:20131030T000000
SUMMARY:Coalgebra in the Netherlands (COIN)
DTSTART;VALUE=DATE:20131112
DTEND;VALUE=DATE:20131112
LOCATION:Room L120, CWI, Amsterdam, The Netherland
 s
DESCRIPTION:COIN, or Coalgebra in the Netherlands,
  is a seminar taking place alternating at the Radb
 oud University Nijmegen and the CWI in Amsterdam. 
 The aim of COIN is to bring together coalgebra res
 earchers from various locations in the Netherlands
 , and share current results and questions in the w
 orld of coalgebra. We welcome presentations on any
  subject related to coalgebra.    The next COIN me
 eting is scheduled for Tuesday, 12 November 2013, 
 at the CWI, in room L120. As usual, everyone who i
 s interested is cordially invited to come. The sch
 edule is as follows:  13:30 - 14:15 Jan Rutten (CW
 I/RU) Syntactic Monoids and Their Dual  14:15 - 15
 :00 Robbert Krebbers (RU) Moessner's Theorem: an E
 xercise in Coinductive Reasoning in Coq  15:15 - 1
 6:00 Jurriaan Rot (LIACS/CWI) Combining Bialgebrai
 c Semantics and Equations   For more information, 
 see http://homepages.cwi.nl/~winter/coin.html
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 COIN, or Coalgebra in the Netherlands, is a semina
 r taking\n        place alternating at the Radboud
  University Nijmegen and the\n        CWI in Amste
 rdam. The aim of COIN is to bring together\n      
   coalgebra researchers from various locations in 
 the\n        Netherlands, and share current result
 s and questions in the\n        world of coalgebra
 . We welcome presentations on any subject\n       
  related to coalgebra.\n      </p>\n      <p>\n   
      The next COIN meeting is scheduled for Tuesda
 y, 12 November\n        2013, at the CWI, in room 
 L120. As usual, everyone who is\n        intereste
 d is cordially invited to come.\n        The sched
 ule is as follows:<br/>\n13:30 - 14:15 Jan Rutten 
 (CWI/RU)  Syntactic Monoids and Their Dual<br/>\n1
 4:15 - 15:00 Robbert Krebbers (RU) Moessner's Theo
 rem: an Exercise in Coinductive Reasoning in Coq<b
 r/>\n15:15 - 16:00 Jurriaan Rot (LIACS/CWI) Combin
 ing Bialgebraic Semantics and Equations\n      </p
 >\n    \n        <p>For more information, see <a t
 arget="_blank" href="http://homepages.cwi.nl/~wint
 er/coin.html">http://homepages.cwi.nl/~winter/coin
 .html</a></p>\n    
URL:/NewsandEvents/Archives/2013/newsitem/5340/12-
 November-2013-Coalgebra-in-the-Netherlands-COIN-
END:VEVENT
END:VCALENDAR