2-3 Apr 2022
Munich, Germany
First 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.
Important dates (tentative)
---------------------------
Abstract regular papers 24 January 2022
Submission regular papers 27 January 2022
Notification regular papers 28 February 2022
Camera-ready copy 14 March 2022
Submission short contributions 2 March 2022
Notification short contributions 8 March 2022
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, University of Leicester, United Kingdom
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 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. 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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam