Universiteit van Amsterdam


Institute for Logic, Language and Computation

14 - 15 April 2018, 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS'18), Thessaloniki, Greece

Date: 14 - 15 April 2018
Location: Thessaloniki, Greece
Deadline: Friday 5 January 2018

Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well.

CMCS'18 will be co-located with ETAPS 2018. Invited speakers: Clemens Kupke (Strathclyde) and Daniela Petrisan (Diderot). Invited tutorial speakers: Bob Coecke (Oxford) and Aleks Kissinger (Radboud).

We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere.

For more information, see http://www.coalg.org/cmcs18/.