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
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:
- 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;
- coalgebras and data types;
- (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants);
- coalgebras and algebras;
- coalgebraic specification and verification;
- coalgebras and (modal) logic;
- coalgebra and control theory (notably of discrete event and hybrid systems);
- coalgebra in quantum computing;
- coalgebra and game theory.
Venue and event
CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on 2 - 3 April 2016.Keynote Speaker
- Jiri Adamek, Braunschweig University of Technology, Germany
Invited Speakers
- Andreas Abel, University of Gothenburg, Sweden
- Filippo Bonchi, CNRS/ENS Lyon, France
Invited Tutorial Speakers
There will be a special session on weighted automata, with invited tutorials by
- Borja Balle, Lancaster University, United Kingdom
- Alexandra Silva, University College London, United Kingdom
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:- 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. - 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
- 4 January 2016: abstract submission regular papers
- 13 January 2016: submission deadline regular papers
- 12 February 2016: notification regular papers
- 19 February 2016: final version
- 22 February 2016: submission deadline short contributions
- 6 March 2016: notification short contributions
- 2 - 3 April 2016: the workshop
Programme Committee
- Paolo Baldan, University of Padova, Italy
- Corina Cirstea, University of Southampton, United Kingdom
- Ugo Dal Lago, University of Bologna, Italy
- Ichiro Hasuo (chair), University of Tokyo, Japan
- Tom Hirschowitz, CNRS and University of Savoie, France
- Bart Jacobs, Radboud University Nijmegen, the Netherlands
- Shin-ya Katsumata, Kyoto University, Japan
- Bartek Klin, University of Warsaw, Poland
- Barbara Koenig, University of Duisburg-Essen, Germany
- Stefan Milius, FAU Erlangen-Nuernberg, Germany
- Matteo Mio, CNRS and ENS Lyon, France
- Rasmus Mogelberg, IT University of Copenhagen, Denmark
- Larry Moss, Indiana University, United States
- Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom
- Dirk Pattinson, Australian National University, Australia
- Daniela Petrisan, University Diderot Paris 7, France
- Jean-Eric Pin, CNRS and Paris Diderot University, France
- John Power, University of Bath, United Kingdom
- Jurriaan Rot, University of Leiden, the Netherlands
- Jan Rutten, CWI/Radboud University Nijmegen, the Netherlands
- Alexandra Silva, University College London, United Kingdom
- Joost Winter, University of Warsaw, Poland
- James Worrell, University of Oxford, United Kingdom
Publicity Chair
- Fabio Zanasi, Radboud University Nijmegen, The Netherlands