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
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.
\nSpeakers:
\n Marco Peressotti: Behavioural equivalences
for coalgebras with unobservable moves
\n D
aniela Petri~an: Up-to techniques for bisimulation
s with silent moves
\n Jurriaan Rot: Coalge
braic trace semantics via forgetful logics\n
For more information, see < a target="_blank" href="http://cs.ru.nl/~hbasold/c oin/">http://cs.ru.nl/~hbasold/coin/
URL:/NewsandEvents/Archives/2015/newsitem/6826/10- April-2015-Coalgebra-in-the-Netherlands-COIN- END:VEVENT END:VCALENDAR