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/2012/newsitem/4092/31-
 March---1-April-2012-11th-International-Workshop-o
 n-Coalgebraic-Methods-in-Computer-Science-CMCS-201
 2-Tallinn-Estonia
DTSTAMP:20110922T000000
SUMMARY:11th International Workshop on Coalgebraic
  Methods in Computer Science (CMCS 2012), Tallinn,
  Estonia
DTSTART;VALUE=DATE:20120331
DTEND;VALUE=DATE:20120401
LOCATION:Tallinn, Estonia
DESCRIPTION:In more than a decade of research, it 
 has been established that a wide variety of state-
 based dynamical systems, like transition systems, 
 automata (including weighted and probabilistic var
 iants), Markov chains, and game-based systems, can
  be treated uniformly as coalgebras. Coalgebra has
  developed into a field of its own interest presen
 ting a deep mathematical foundation, a growing fie
 ld of applications, and interactions with various 
 other fields such as reactive and interactive syst
 em theory, object-oriented and concurrent programm
 ing, formal system specification, modal and descri
 ption logics, artificial intelligence, dynamical s
 ystems, control systems, category theory, algebra,
  analysis, etc. The aim of the CMCS workshop serie
 s is to bring together researchers with a common i
 nterest in the theory of coalgebras, their logics,
  and their applications.   For more information, s
 ee http://www.coalg.org/cmcs12/  We solicit two ty
 pes of contributions:  (a) Regular papers to be ev
 aluated by the PC for publication in the proceedin
 gs (submission deadline: 4 January 2012)  (b) Shor
 t contributions (submission deadline: 27 February 
 2012)
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>In mo
 re than a decade of research, it has been establis
 hed that a wide\n        variety of state-based dy
 namical systems, like transition systems,\n       
  automata (including weighted and probabilistic va
 riants), Markov\n        chains, and game-based sy
 stems, can be treated uniformly as\n        coalge
 bras. Coalgebra has developed into a field of its 
 own interest\n        presenting a deep mathematic
 al foundation, a growing field of\n        applica
 tions, and interactions with various other fields 
 such as\n        reactive and interactive system t
 heory, object-oriented and concurrent\n        pro
 gramming, formal system specification, modal and d
 escription\n        logics, artificial intelligenc
 e, dynamical systems, control systems,\n        ca
 tegory theory, algebra, analysis, etc. The aim of 
 the CMCS workshop\n        series is to bring toge
 ther researchers with a common interest in the\n  
       theory of coalgebras, their logics, and thei
 r applications.\n      </p>\n    \n      \n      <
 p>For more information, see\n        <a target="_b
 lank" href="http://www.coalg.org/cmcs12/">http://w
 ww.coalg.org/cmcs12/</a>\n      </p>\n    </div><d
 iv>\n      <p>We solicit two types of\n        con
 tributions:<br/>\n        (a) Regular papers to be
  evaluated by the PC for publication in the\n     
    proceedings (submission deadline: 4 January 201
 2)<br/>\n        (b) Short contributions (submissi
 on deadline: 27 February 2012)\n      </p>\n      
 </div>
URL:/NewsandEvents/Archives/2012/newsitem/4092/31-
 March---1-April-2012-11th-International-Workshop-o
 n-Coalgebraic-Methods-in-Computer-Science-CMCS-201
 2-Tallinn-Estonia
END:VEVENT
END:VCALENDAR