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/2018/newsitem/9448/14- --15-April-2018-14th-International-Workshop-on-Coa lgebraic-Methods-in-Computer-Science-CMCS-18-Thess aloniki-Greece DTSTAMP:20171031T150954 SUMMARY:14th International Workshop on Coalgebraic Methods in Computer Science (CMCS'18), Thessaloni ki, Greece DTSTART;VALUE=DATE:20180414 DTEND;VALUE=DATE:20180415 LOCATION:Thessaloniki, Greece DESCRIPTION:Established in 1998, the CMCS workshop s aim to bring together researchers with a common interest in the theory of coalgebras, their logics , and their applications. As the workshop series s trives to maintain breadth in its scope, areas of interest include neighbouring fields as well. CMC S'18 will be co-located with ETAPS 2018. Invited s peakers: Clemens Kupke (Strathclyde) and Daniela P etrisan (Diderot). Invited tutorial speakers: Bob Coecke (Oxford) and Aleks Kissinger (Radboud). We solicit two types of contributions: regular paper s and short contributions. Regular papers must be original, unpublished, and not submitted for publi cation elsewhere. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. X-ALT-DESC;FMTTYPE=text/html:
Establish ed in 1998, the CMCS workshops aim to bring togeth er researchers with a common interest in the theor y of coalgebras, their logics, and their applicati ons. As the workshop series strives to maintain br eadth in its scope, areas of interest include neig hbouring fields as well.
\n\nCMCS'18 will be co-located with ETAPS 2018. Invited speakers: C lemens Kupke (Strathclyde) and Daniela Petrisan (D iderot). Invited tutorial speakers: Bob Coecke (Ox ford) and Aleks Kissinger (Radboud).
We solicit two types of contributions: reg ular papers and short contributions. Regular paper s must be original, unpublished, and not submitted for publication elsewhere. Short contributions ma y describe work in progress, or summarise work sub mitted to a conference or workshop elsewhere.
< /div> URL:http://www.coalg.org/cmcs18/ END:VEVENT END:VCALENDAR