[TYPES/announce] *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24)

Urbat, Henning henning.urbat at fau.de
Tue Jan 30 06:30:42 EST 2024


The submission deadline for the 17th International Workshop on 
Coalgebraic Methods in Computer Science (CMCS'24) has been extended to

**5 February 2024** (abstracts) and **8 February 2024** (papers).

Please find below the updated Call for Papers:


FINAL CALL FOR PAPERS (UPDATE)
==============================

                  The 17th IFIP WG 1.3 International Workshop on
                 Coalgebraic Methods in Computer Science (CMCS'24)
                            Luxembourg, 6-7 April 2024
                           (co-located with ETAPS 2024)
                           https://urldefense.com/v3/__https://www.coalg.org/cmcs24/__;!!IBzWLUs!VMywm_ntw_FEj58XVQBJWrpuSEUfGrfp1c8T3UTrUCN8fPhfcmsV0HPlC0lJUYDcu6-OSR4EkSyPmmA9iOJbi4s_y5YssvHmYkJ9kQ$ 


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

In addition to presentations of contributed papers, the workshop will
also include invited talks and tutorials.

Venue and event
---------------
CMCS '24 will be held in Luxembourg City, Luxembourg, co-located with
ETAPS 2024 on 6-7 April 2024.

Important dates (Anywhere On Earth)
-----------------------------------
Abstract regular papers          5 February 2024
Submission regular papers         8 February 2024
Notification regular papers       11 March 2024
Final version                    1 April 2024
Submission short contributions    7 March 2024
Notification short contributions 11 March 2024

Programme committee
-------------------

     Adriana Balan (University Politehnica of Bucharest, Romania)
     Harsh Beohar (University of Sheffield, United Kingdom)
     Marta Bilkova (Academy of Sciences of the Czech Republic)
     Fredrik Dahlqvist (Queen Mary University of London, United Kingdom)
     Jérémy Dubut (National Institute of Advanced Industrial Science and 
Technology, Japan)
     Sebastian Enqvist (Lund University, Sweden)
     Richard Garner (Macquarie University, Australia)
     Ichiro Hasuo (National Institute of Informatics, Japan)
     Tobias Kappé (Open University of the Netherlands and ILLC, 
University of Amsterdam)
     Marina Lenisa (University of Udine, Italy)
     Larry Moss (Indiana University Bloomington, United States)
     Fredrik Nordvall Forsberg (University of Strathclyde, United 
Kingdom)
     Jurriaan Rot (Radboud University, The Netherlands)
     Matteo Sammartino (Royal Holloway University of London, United 
Kingdom)
     Pawel Sobocinski (Tallinn University of Technology, Estonia)
     David Spivak (Topos Institute, United States)
     Sam Staton (University of Oxford, United Kingdom)
     Tarmo Uustalu (Reykjavik University, Iceland, and Tallinn University 
of Technology, Estonia)
     Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg, 
Germany)

PC co-chairs
--------------

     Barbara König (Universität Duisburg-Essen, Germany)
     Henning Urbat (Friedrich-Alexander-Universität Erlangen-Nürnberg, 
Germany)

Publicity chair
---------------

     Thorsten Wißmann  (Friedrich-Alexander-Universität 
Erlangen-Nürnberg, Germany)

Steering committee
------------------

     Corina Cirstea, University of Southampton, United Kingdom
     Helle Hansen, University of Groningen, The Netherlands
     Ichiro Hasuo, National Institute of Informatics, Japan
     Bart Jacobs, Radboud University Nijmegen, The Netherlands
     Stefan Milius, Friedrich-Alexander Universität Erlangen-Nürnberg, 
Germany
     Daniela Petrişan, IRIF, Université Paris-Cité, France
     Jurriaan Rot, Radboud University Nijmegen, The Netherlands
     Lutz Schröder, Friedrich-Alexander Universität Erlangen-Nürnberg, 
Germany
     Alexandra Silva (chair), Cornell University, United States
     Fabio Zanasi (University College London, United Kingdom

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 at most
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 must be submitted
electronically as a PDF file via the Easychair system at

    https://urldefense.com/v3/__https://easychair.org/my/conference?conf=cmcs2024__;!!IBzWLUs!VMywm_ntw_FEj58XVQBJWrpuSEUfGrfp1c8T3UTrUCN8fPhfcmsV0HPlC0lJUYDcu6-OSR4EkSyPmmA9iOJbi4s_y5YssvHjfGjbYw$ 

The proceedings of CMCS 2024 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.


More information about the Types-announce mailing list