categories - Category Theory list
 help / color / mirror / Atom feed
* CMCS 2022: Deadline extension
@ 2022-01-25 21:39 Thorsten Wissmann
  0 siblings, 0 replies; only message in thread
From: Thorsten Wissmann @ 2022-01-25 21:39 UTC (permalink / raw)
  To: Categories

                      Call for Papers **Deadline Extension**

                   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)

*Updates wrt Final CfP: Important Dates*.

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.
We aim for an event with maximal on-site participation, but a hybrid format will be provided if necessary. In particular, speakers will be able to present virtually if an on-site presentation is not possible due to Covid restrictions.

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 (NEW)
Abstract regular papers          31 January 2022  (new)
Submission regular papers         3 February 2022 (new)
Notification regular papers       7 March 2022 (new)
Camera-ready copy                25 March 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
Adriana Balan, University Politehnica of Bucharest, Romania
Henning Basold, Leiden University, The Netherlands
Marta Bilkova, Czech Academy of Sciences, Czech Republic
Fredrik Dahlqvist, Queen Mary University London, United Kingdom
Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom
Richard Garner, Macquarie University, Australia
Jeremy Gibbons, University of Oxford, United Kingdom
Helle Hvid Hansen (co-chair), University of Groningen, The Netherlands
Ichiro Hasuo, National Institute of Informatics, Japan
Tobias Kapp??, University of Amsterdam, The Netherlands
Dexter Kozen, Cornell University, USA
Clemens Kupke, University of Strathclyde, United Kingdom
Alexander Kurz, Chapman University, USA
Barbara K??nig, University of Duisburg-Essen, Germany
Marina Lenisa, University of Udine, Italy
Davide Sangiorgi, University of Bologna, Italy
Lutz Schr??der, University of Erlangen-Nuremberg, Germany
David Spivak, Massachusetts Institute of Technology, USA
Tarmo Uustalu, Reykjavik University, Iceland
Thorsten Wi??mann, Radboud University, The Netherlands
Fabio Zanasi (co-chair), University College London, United Kingdom
Maaike Zwart, ITU Copenhagen, Denmark

PC co-chairs
Helle Hvid Hansen, University of Groningen, The Netherlands
Fabio Zanasi, University College London, United Kingdom

Publicity chair
Thorsten Wi??mann, Radboud University, The Netherlands

Steering committee
Filippo Bonchi, University of Pisa, Italy
Marcello Bonsangue, Leiden University, The Netherlands
Corina Cirstea, University of Southampton, United Kingdom
Ichiro Hasuo, National Institute of Informatics, Japan
Bart Jacobs, Radboud University Nijmegen, The Netherlands
Bartek Klin, University of Oxford, United Kingdom
Alexander Kurz, Chapman University, United States
Marina Lenisa, University of Udine, Italy
Stefan Milius (chair), University of Erlangen-Nuremberg, Germany
Lawrence Moss, Indiana University, USA
Daniela Petrisan, University Paris Diderot, France
Jurriaan Rot, Radboud University, The Netherlands
Dirk Pattinson, Australian National University, Australia
Lutz Schr??der, University of Erlangen-Nuremberg, Germany
Alexandra Silva, Cornell University, USA

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

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. Accepted short contributions will be bundled in a technical report.

[For admin and other information see: ]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-01-25 21:39 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-01-25 21:39 CMCS 2022: Deadline extension Thorsten Wissmann

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox