Atlas home || Conferences | Abstracts | about Atlas
Host: Technical University of Berlin
Homepage: http://wwwtcs.inf.tu-dresden.de/~reichel/cmcs.html
Organizers: Bart Jacobs (Nijmegen), Horst Reichel (Dresden), Jan Rutten (CWI, Amsterdam), Larry Moss (Bloomington, IN)
Deadline for abstracts: January 02, 2000
Description:
State-based dynamical systems as found throughout computing science are traditionally described as transition systems or
certain kinds of automata. During the last decade, it has become increasingly clear that such systems can be captured uniformly
as so-called ``coalgebras'' (which are the formal dual of algebras). Coalgebra is beginning to develop into a field of its own,
with its own proof-methods (involving bisimulations and invariants). This workshop will be devoted to both an introduction to
basic coalgebraic notions and techniques, and also to some recent advances in the theory of coalgebras.
The scope of the meeting includes the following themes:
the theory of coalgebras (including set theoretic and categorical approaches); coalgebras as computational and semantical models (for programming languages, dynamic 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 (hidden-sorted) algebras; coalgebraic specification and verification; coalgebras and (modal) logic
Date received: September 10, 1999
© 2008 Atlas Conferences Inc.