Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

25-27 March 2006, CMCS 2006: Coalgebraic Methods in Computer Science, Vienna, Austria

Date: 25-27 March 2006
Location: Vienna, Austria

During the last few years, it has become increasingly clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems, can be captured uniformly as coalgebras. Coalgebra is developing into a field of its own interest presenting a deep mathematical foundation, a growing field of applications and interactions with various other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications.

For more information, see http://conferences.inf.ed.ac.uk/cmcs06/cmcs06.html

Please note that this newsitem has been archived, and may contain outdated information or links.