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/2016/newsitem/7232/2-3 -April-2016-13th-International-Workshop-on-Coalgeb raic-Methods-in-Computer-Science-CMCS-16-Eindhoven -The-Netherlands DTSTAMP:20160310T000000 SUMMARY:13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16), Eindhoven, The Netherlands DTSTART;VALUE=DATE:20160402 DTEND;VALUE=DATE:20160403 LOCATION:Eindhoven, The Netherlands DESCRIPTION:In more than a decade of research, it has been established that a wide variety of state- based dynamical systems can be treated uniformly a s coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematica l foundation, a growing field of applications, and interactions with various other fields. The aim o f the CMCS workshops is to bring together research ers with a common interest in the theory of coalge bras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouri ng areas is strongly encouraged. Keynote speaker: Jiri Adamek (Braunschweig, Germany). Invited spea kers: Andreas Abel (Gothenburg, Sweden) and Filipp o Bonchi (CNRS/ENS Lyon, France). There will be a special session on weighted automata, with invited tutorials by Borja Balle (Lancaster, UK) and Alex andra Silva (UC London, UK). CMCS'16 is co-located with ETAPS 2016. For more information, including the full programme of the workshop, see http://ww w.coalg.org/cmcs16/ X-ALT-DESC;FMTTYPE=text/html:\n
In more th an a decade of research, it has been established t hat a wide variety of state-based dynamical system s can be treated uniformly as coalgebras. Coalgebr a has developed into a field of its own interest p resenting a deep mathematical foundation, a growin g field of applications, and interactions with var ious other fields. The aim of the CMCS workshops i s to bring together researchers with a common inte rest in the theory of coalgebras, their logics, an d their applications. As the workshop serie strive s to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly e ncouraged.
\nKeynote speaker: Jiri Ada mek (Braunschweig, Germany). Invited speakers: And reas Abel (Gothenburg, Sweden) and Filippo Bonchi (CNRS/ENS Lyon, France). There will be a special s ession on weighted automata, with invited tutorial s by Borja Balle (Lancaster, UK) and Alexandra Sil va (UC London, UK). CMCS'16 is co-located with ETA PS 2016.
\n \nFor more informatio n, including the full programme of the workshop, s ee http://www.coalg.org/cmcs16/
URL:/NewsandEvents/Archives/2016/newsitem/7232/2-3 -April-2016-13th-International-Workshop-on-Coalgeb raic-Methods-in-Computer-Science-CMCS-16-Eindhoven -The-Netherlands END:VEVENT END:VCALENDAR