[TYPES/announce] CMCS 2026: Call for Short Contributions

[Thorsten Wissmann]

             Call for Short contributions
   The 18th IFIP WG 1.3 International Workshop on
  Coalgebraic Methods in Computer Science (CMCS'26)
           Turin (Italy), 11-12 April 2026
             (co-located with ETAPS 2026)
             https://urldefense.com/v3/__https://www.coalg.org/cmcs26/__;!!IBzWLUs!WiUk8ZUIkjJ6mPnwVEa8qWHwpmbrHMWbQmMxPLytRM5lt9JPePt-AtNqL9Kh4JL096EKjdIEYBPuEdOIcchJ8ej2anIw28vX2e9DOlk$ 

# 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 '26 will be held in Turin, Italy, co-located with ETAPS 2026 on 11-12 April 2026.

# Invited Speakers

- Keynote: Barbara König
- Invited talks: Bahareh Afshari and Sergey Goncharov
- Tutorial: Benjamin Bisping

# Important dates (Anywhere On Earth)

Submission short contributions: 05 March 2026
Notification short contributions: 10 March 2022

# Submission guidelines

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 in PDF format. Accepted short contributions will be bundled in a technical report, and are to be presented at the workshop. They do not appear in the LNCS postproceedings (which only contain regular papers). Short contributions should be submitted electronically as a PDF file via the Easychair system at

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=cmcs2026__;!!IBzWLUs!WiUk8ZUIkjJ6mPnwVEa8qWHwpmbrHMWbQmMxPLytRM5lt9JPePt-AtNqL9Kh4JL096EKjdIEYBPuEdOIcchJ8ej2anIw28vXeIJGO2g$ 

# Committees and chairs

## Programme committee
    Stelios Tsampas (University of Southern Denmark)
    Jorge A. Pérez (University of Groningen)
    Chase Ford (Leiden University)
    Andrei Popescu (University of Sheffield)
    Clovis Eberhart (Tohoku University)
    Filippo Bonchi (University of Pisa)
    Niccolò Veltri (Tallinn University of Technology)
    Corina Cirstea (University of Southampton)
    Harsh Beohar (University of Sheffield)
    Sebastian Enqvist (Lund University)
    Larry Moss (Indiana University Bloomington)
    Alexander Kurz (Chapman University)
    Ana Sokolova (University of Salzburg)
    Vincenzo Ciancia (Istituto di Scienza e Tecnologie)
    Elena Di Lavore (University of Oxford)
    Shin-Ya Katsumata (Kyoto Sangyo University)
    Helle Hvid Hansen (University of Groningen)
    Damien Pous (CNRS - ENS Lyon)

## PC Co-Chairs
    Henning Basold (Universiteit Leiden, The Netherlands)
    Clemens Kupke (University of Strathclyde, Glasgow)

## Publicity chair and website
    Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany)

## Steering committee
    Corina Cirstea (University of Southampton, United Kingdom)
    Helle Hvid Hansen (University of Groningen, The Netherlands)
    Ichiro Hasuo (National Institute of Informatics, Japan)
    Bart Jacobs (Radboud University Nijmegen, The Netherlands)
    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 (Cornell University, United States)
    Henning Urbat (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany)
    Fabio Zanasi (University College London, United Kingdom)