ETAPS 2022 Satellite Event

Call for papers

Final Call for Papers

The 16th IFIP WG 1.3 International Workshop on
Coalgebraic Methods in Computer Science (CMCS’22)
Munich, Germany, 2-3 April 2022
(co-located with ETAPS 2022)
www.coalg.org/cmcs22

Objectives and scope

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.

Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following:

  • set-theoretic and categorical foundations of coalgebra;
  • algebra & coalgebra, (co)monads, and distributive laws;
  • (modal) logic;
  • automata theory and formal languages
  • coinductive definitions and proof principles (including “up-to” techniques)
  • semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.)
  • functional, objected-oriented, concurrent, and constraint programming;
  • type theory (notably behavioural typing);
  • formal verification and specification;
  • control theory (notably discrete events and hybrid systems);
  • quantum computing;
  • game theory;
  • implementation, tools, and proof assistants

Venue and event

CMCS’22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. ETAPS, including CMCS, is planned as an on-site event, and talks are therefore expected to be given in person. If Covid-related problems prevent all authors from travelling, the authors should contact the PC chairs as soon as possible to arrange for a pre-recorded talk.

Keynote speaker

Ana Sokolova, University of Salzburg, Austria

Invited speakers

Renato Neves, University of Minho, Portugal
Sam Staton, University of Oxford, United Kingdom

Invited tutorial speakers

There will be a special session on Data Languages with invited tutorials by:
Sławomir Lasota, University of Warsaw, Poland
Mahsa Shirmohammadi, CNRS & University of Paris, France

Important dates

Abstract of regular papers 31 January 2022
Submission of regular papers 03 February 2022
Notification of regular papers 07 March 2022
Camera-ready copy 13 May 2022 (new)
Submission short contributions 3 March 2022
Notification short contributions 9 March 2022

All dates are inclusive and Anywhere on Earth (AoE).

(We have been informed that ETAPS workshop registration fees will be constant across all registration deadlines.)

Programme committee, PC co-chairs, Publicity chair, Steering committee

Please see the list of committees.

Submission guidelines

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. A clearly-marked appendix containing technical proofs can be added, but this will not be published in the proceedings. Note that the 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. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at

http://www.easychair.org/conferences/?conf=cmcs2022

The proceedings of CMCS 2022 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series (pending approval). Accepted short contributions will be bundled in a technical report.