Atlas home || Conferences | Abstracts | about Atlas
Host: Tulip Inn Tropen Hotel
Homepage: http://www.cs.kun.nl/~bart/coalg_worksh.html
Organizers: Bart Jacobs (Nijmegen), Horst Reichel (Dresden), Jan Rutten (CWI, Amsterdam), Larry Moss (Bloomington, IN)
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.
We are looking for participants and contributed talks to this informal workshop on both the theory and the use of coalgebras in computer science. The workshop will consist of two days, preceding the ETAPS conference (20-21 March 1999) in Amsterdam. More information regarding submissions is given below.
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
Speakers: Marina Lenisa, Slawomir Lasota, James Worrel, Martin Roessiger, Uwe Wolter, Peter Wegner, Dina Goldin, John Power, Hiroshi Watanabe, Dusko Pavlovic, Vaughn Pratt, Reiko Heckel, Andrea Corradini, Ugo Montanari, Corina Cirstea, Rolf Hennicker, Alexander Kurz, Dorel Lucanu, Ovidiu Gheorghies, Franck van Breugel, Stephen Watson
Date received: February 07, 1999, revised February 21, 2005
© 2008 Atlas Conferences Inc.