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.

2-3 April 2016, 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16), Eindhoven, The Netherlands

Date: 2-3 April 2016
Location: Eindhoven, The Netherlands

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

Keynote speaker: Jiri Adamek (Braunschweig, Germany). Invited speakers: Andreas Abel (Gothenburg, Sweden) and Filippo Bonchi (CNRS/ENS Lyon, France). There will be a special session on weighted automata, with invited tutorials by Borja Balle (Lancaster, UK) and Alexandra Silva (UC London, UK). CMCS'16 is co-located with ETAPS 2016.

For more information, including the full programme of the workshop, see http://www.coalg.org/cmcs16/

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