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/2022/newsitem/13167/2-
 --3-April-2022-16th-IFIP-WG-1-3-International-Work
 shop-on-Coalgebraic-Methods-in-Computer-Science-CM
 CS-22-Munich-Germany
DTSTAMP:20211118T140848
SUMMARY:16th IFIP WG 1.3 International Workshop on
  Coalgebraic Methods in Computer Science (CMCS'22)
 , Munich, Germany
DTSTART;VALUE=DATE:20220402
DTEND;VALUE=DATE:20220403
LOCATION:Munich, Germany
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. CMCS
 '22 will be held in Munich, Germany, co-located wi
 th ETAPS 2022 on 2-3 April 2022. Topics of interes
 t are the theory and applications of coalgebra and
  coinductive reasoning in all research areas of Co
 mputer Science.  We solicit two types of contribut
 ions: regular papers and short contributions. Regu
 lar papers must be original, unpublished, and not 
 submitted for publication elsewhere. Regular paper
 s should be max 18 pages long in Springer LNCS sty
 le, excluding references and an appendix of up to 
 5 pages. Note that reviewers are not obliged to re
 ad the appendix, and the merits of the paper shoul
 d be clear from the main text. Short contributions
  may describe work in progress, or summarise work 
 submitted to a conference or workshop elsewhere. T
 hey should be no more than two pages including ref
 erences.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>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. CMCS'22 will be held in M
 unich, Germany, co-located with ETAPS 2022 on 2-3 
 April 2022. Topics of interest are the theory and 
 applications of coalgebra and coinductive reasonin
 g in all research areas of Computer Science.</p>\n
 </div><div>\n  <p>We solicit two types of contribu
 tions: regular papers and short contributions. Reg
 ular papers must be original, unpublished, and not
  submitted for publication elsewhere. Regular pape
 rs should be max 18 pages long in Springer LNCS st
 yle, excluding references and an appendix of up to
  5 pages. Note that reviewers are not obliged to r
 ead the appendix, and the merits of the paper shou
 ld be clear from the main text. Short contribution
 s may describe work in progress, or summarise work
  submitted to a conference or workshop elsewhere. 
 They should be no more than two pages including re
 ferences.</p>\n</div>
URL:https://www.coalg.org/cmcs22/
END:VEVENT
END:VCALENDAR
