The 15th IFIP WG 1.3 International Workshop on
Coalgebraic Methods in Computer Science (CMCS’20)
Dublin, Ireland, 25 – 26 April 2020
(co-located with ETAPS 2020)
www.coalg.org/cmcs20
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 include, but are not limited to, the following:
- the theory of coalgebras (including set theoretic and categorical approaches);
- coalgebras as computational and semantical models (for programming languages
dynamical systems, term rewriting, etc.); - coalgebras in (functional, object-oriented, concurrent, and constraint) programming;
- coalgebraic data types, type systems and behavioural typing;
- coinductive definition and proof principles for coalgebras (including “up-to” techniques);
- coalgebras and algebras;
- coalgebras and (modal) logic;
- coalgebraic specification and verification;
- coalgebra and control theory (notably of discrete event and hybrid systems);
- coalgebra in quantum computing;
- coalgebra and game theory;
- tools exploiting coalgebraic techniques.
Venue and event
CMCS’20 will be held in Dublin, Ireland, co-located with ETAPS 2020, on 25 – 26 April 2020.
Keynote Speaker
Yde Venema (ILLC, University of Amsterdam, The Netherlands)
Invited Speakers
Nathanaël Fijalkow (CNRS, LaBRI, University of Bordeaux, France)
Koko Muroya (RIMS, Kyoto University, Japan)
Invited Tutorial Speakers
There will be a special session on probabilistic couplings, with invited tutorials by:
Marco Gaboardi (Boston University, US)
Justin Hsu (University of Wisconsin-Madison, US)
Important dates
Abstract regular papers | |
Submission regular papers | |
Notification | |
Camera-ready copy | |
Submission short contributions | |
Notification short contributions | 11 March 2020 |
Programme committee
Henning Basold, Leiden University, the Netherlands
Nick Bezhanishvili, University of Amsterdam, the Netherlands
Corina Cirstea, University of Southampton, UK
Mai Gehrke, CNRS and Université Côte d’Azur, France
Helle Hvid Hansen, Delft University of Technology, the Netherlands
Shin-Ya Katsumata, National Institute of Informatics, Japan
Bartek Klin, Warsaw University, Poland
Ekaterina Komendantskaya, Heriot-Watt University, UK
Barbara König, Universität Duisburg-Essen, Germany
Dexter Kozen, Cornell University, US
Clemens Kupke, University of Strathclyde, UK
Alexander Kurz, Chapman University, US
Daniela Petrisan, Université Paris 7, France
Andrei Popescu, Middlesex University London, UK
Damien Pous, CNRS – ENS Lyon, France
Jurriaan Rot, UCL and Radboud University, the Netherlands
Davide Sangiorgi, University of Bologna, Italy
Ana Sokolova, University of Salzburg, Austria
David Sprunger, National Institute of Informatics, Japan
Henning Urbat, FAU Erlangen-Nürnberg, Germany
Fabio Zanasi, University College London, UK
Publicity chair
Henning Basold (Leiden University, The Netherlands)
PC co-chairs
Daniela Petrisan, Université Paris 7, France
Jurriaan Rot, UCL and Radboud University, the Netherlands
Steering committee
Filippo Bonchi, CNRS and ENS Lyon, France
Marcello Bonsangue, Leiden University, NL
Corina Cirstea, University of Southampton, UK
Ichiro Hasuo, National Institute of Informatics, Japan
Bart Jacobs, Radboud University Nijmegen, NL
Bartek Klin, University of Warsaw, Poland
Alexander Kurz, University of Leicester, UK
Marina Lenisa, University of Udine, IT
Stefan Milius (chair), FAU Erlangen-Nuernberg, Germany
Larry Moss, Indiana University, US
Dirk Pattinson, Australian National University, AU
Lutz Schröder, University of Erlangen-Nurenberg, DE
Alexandra Silva, University College London, United Kingdom
Submission guidelines
We solicit two types of contributions: regular papers and short contributions.
Regular papers should not exceed 20 pages in length, excluding references,
in Springer LNCS style. A clearly-labelled appendix containing technical proofs
can be added, but this will not be published in the proceedings and will be consulted
at the discretion of the referees. 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 at
http://www.easychair.org/conferences/?conf=cmcs2020.
The proceedings of CMCS 2020 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.