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/2010/newsitem/3027/26- 28-March-2010-The-10th-International-Workshop-on-C oalgebraic-Methods-in-Computer-Science-CMCS-2010-P aphos-Cyprus DTSTAMP:20091005T000000 SUMMARY:The 10th International Workshop on Coalgeb raic Methods in Computer Science (CMCS 2010), Paph os, Cyprus DTSTART;VALUE=DATE:20100326 DTEND;VALUE=DATE:20100328 LOCATION:Paphos, Cyprus DESCRIPTION:The aim of the workshop is to bring to gether researchers with a common interest in the t heory of coalgebras and its applications. Over the last two decades, coalgebra has developed into a field of its own, presenting a mathematical founda tion for various kinds of dynamical systems, infin ite data structures, and logics. Coalgebra has an ever growing range of applications in and interact ions with other fields such as reactive and intera ctive system theory, object oriented and concurren t programming, formal system specification, modal logic, dynamical systems, control systems, categor y theory, algebra, analysis, etc. CMCS 2010 is c o-located with ETAPS 2010. For more information, s ee http://event.cwi.nl/cmcs10/ or contact cmcs10 a t cwi.nl. There are two types of submissions pos sible: regular papers presenting original research , and short contributions describing work in progr ess or summarising work submitted to a conference or workshop elsewhere. Submission deadline is 8 Ja nuary 2010 (regular papers) or 27 February 2010 (s hort contributions). X-ALT-DESC;FMTTYPE=text/html:
The a im of the workshop is to bring together researcher s with\n a common interest in the theory of c oalgebras and its\n applications. Over the l ast two decades, coalgebra has\n developed in to a field of its own, presenting a mathematical\n foundation for various kinds of dynamical sy stems, infinite data\n structures, and logics . Coalgebra has an ever growing range of\n a pplications in and interactions with other fields such as\n reactive and interactive system the ory, object oriented and\n concurrent program ming, formal system specification, modal\n lo gic, dynamical systems, control systems, category theory,\n algebra, analysis, etc.\n
\n \n \nCMCS 2010 is co-located w ith ETAPS 2010.\n For more information, see\ n http://event.cwi.nl/cmcs10/\n or contact cmcs10 at cwi.nl.\n
There are two types of submissions poss ible: \n regular papers presenting original research,\n and short contributions descri bing work in progress\n or summarising work submitted to a conference or workshop elsewhere.\ n Submission deadline is 8 January 2010 (re gular papers)\n or 27 February 2010 (short contributions).\n
\n