[TYPES/announce] CMCS 2016 : Last Call for Papers

fabio.zanasi at ens-lyon.fr fabio.zanasi at ens-lyon.fr
Sun Dec 20 15:20:24 EST 2015


                                     Call for Papers

                           13th International Workshop on
              Coalgebraic Methods in Computer Science (CMCS'16)
                     2 - 3 April 2016, Eindhoven, The Netherlands
                            http://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
- Model checking, theorem proving and deductive verification
    using coalgebraic techniques
- Coalgebraic data types, type systems and
    behavioural typing
- Proof principles and (coinductive) definitions for
    coalgebras (e.g. 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
- Tools exploiting colgebraic techniques

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

Important dates
---------------
Abstract regular papers           4 January 2016
Submission regular papers        13 January 2016
Notification regular papers     12 February 2016
Camera-ready copy               19 February 2016
Submission short contributions   22 February 2016
Notification short contributions  6 March 2016

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, Paris Diderot University, 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, Radbound University Nijmegen, The Netherlands

PC chair
--------
Ichiro Hasuo, University of Tokyo, Japan

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. They should not exceed 20 pages in length in Springer
LNCS style. 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. Regular papers and short contributions should be submitted
electronically as a PDF file via the Easychair system at

          http://www.easychair.org/conferences/?conf=cmcs2016.

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