News and Events: Conferences

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

21 September - 19 October 2020, 15th International Workshop on Coalgebraic Methods in CS (CMCS 2020), Virtual

Date: Weekly on mondays, 21 September - 19 October 2020
Location: Virtual
Deadline: Monday 6 January 2020

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based 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. Established in 1998, 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.

CMCS 2020 will be held virtually, as a series of approximately three hour sessions spread across five weeks.

We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system.

For more information, see https://www.coalg.org/cmcs20/.

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