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.

26-28 March 2010, The 10th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), Paphos, Cyprus

Date: 26-28 March 2010
Location: Paphos, Cyprus
Deadline: 27 February 2010

The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. Over the last two decades, coalgebra has developed into a field of its own, presenting a mathematical foundation for various kinds of dynamical systems, infinite data structures, and logics. Coalgebra has an ever growing range of applications in and interactions with 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.

CMCS 2010 is co-located with ETAPS 2010. For more information, see http://event.cwi.nl/cmcs10/ or contact .

There are two types of submissions possible: regular papers presenting original research, and short contributions describing work in progress or summarising work submitted to a conference or workshop elsewhere. Submission deadline is 8 January 2010 (regular papers) or 27 February 2010 (short contributions).

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