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
\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
\n\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:
\n13:30 - 14:15 Jan Rutten
(CWI/RU) Syntactic Monoids and Their Dual
\n1
4:15 - 15:00 Robbert Krebbers (RU) Moessner's Theo
rem: an Exercise in Coinductive Reasoning in Coq\n15:15 - 16:00 Jurriaan Rot (LIACS/CWI) Combin
ing Bialgebraic Semantics and Equations\n
For more information, see http://homepages.cwi.nl/~winter/coin .html
URL:/NewsandEvents/Archives/2013/newsitem/5340/12- November-2013-Coalgebra-in-the-Netherlands-COIN- END:VEVENT END:VCALENDAR