Call for Papers 

(download as txt or as a flyer)
The 13th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science
2 - 3 April 2016, Eindhoven, the Netherlands
(co-located with ETAPS 2016)
www.coalg.org/cmcs16

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:

Venue and event

CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016.

Keynote Speaker

Invited Speakers

Invited Tutorial Speakers

There will be a special session on weighted automata, with invited tutorials by

Submissions

Submission is electronic via the easychair system at http://www.easychair.org/conferences/?conf=cmcs2016 following the submission guidelines below. We solicit two types of contributions:
  1. Regular papers to be evaluated by the PC for publication in the proceedings:
    They must have a length of at most 20 pages, formatted in LNCS style (http://www.springer.de/comp/lncs/authors.html). They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work.
  2. Short contributions:
    These will not be published in the proceedings but will be bundled in a technical report. They should be no more than two pages in LNCS format and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience.

Proceedings Publication

The proceedings of CMCS 2016 will be published in Springer Lecture Notes in Computer Science. The final proceedings will be published post-conference and consist of revised versions of the accepted regular papers. Preliminary proceedings will be made available at the conference in electronic form. Depending on the number and quality of submissions, we will consider publishing extended and revised papers as a journal special issue, subject to the usual reviewing procedure. Previous special issues of CMCS have appeared in high-ranking journals including Information and Computation and Theoretical Computer Science.

Important dates

Programme Committee 

Publicity Chair

  • Fabio Zanasi, Radboud University Nijmegen, The Netherlands