Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.di.unipi.it/~ugo/CMCS2001.html
Email: cmcs2001@di.unipi.it
Organizers: Andrea Corradini (Pisa), Marina Lenisa (Udine), Ugo Montanari (Pisa)
Description:
The topics of the workshop include, but are not limited to:
the theory of coalgebras (including set theoretic and categorical approaches); coalgebras as computational and semantical models (for programming languages, dynamical systems, etc.); coalgebras in (functional, object-oriented, concurrent) programming; coalgebras and data types; (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); coalgebras and algebras; coalgebraic specification and verification; coalgebras and (modal) logic; coalgebra and control theory (notably of discrete event and hybrid systems).
Date received: August 15, 2000
© 2008 Atlas Conferences Inc.