Please note that this newsitem has been archived, and may contain outdated information or links.
2 - 3 April 2022, 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22), Munich, Germany
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'22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science.
We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Regular papers should be max 18 pages long in Springer LNCS style, excluding references and an appendix of up to 5 pages. Note that reviewers are not obliged to read the appendix, and the merits of the paper should be clear from the main text. 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 including references.
Please note that this newsitem has been archived, and may contain outdated information or links.