25-26 Apr 2020
Dublin, Ireland
Call for Papers
The 15th IFIP WG 1.3 International Workshop on
Coalgebraic Methods in Computer Science (CMCS'20)
Dublin, Ireland, 25 - 26 April 2020
(co-located with ETAPS 2020)
www.coalg.org/cmcs20
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;
- coalgebraic data types, type systems and behavioural typing;
- coinductive definition and proof principles for coalgebras (including
"up-to" techniques);
- coalgebras and algebras;
- coalgebras and (modal) logic;
- coalgebraic specification and verification;
- coalgebra and control theory (notably of discrete event and
hybrid systems);
- coalgebra in quantum computing;
- coalgebra and game theory;
- tools exploiting coalgebraic techniques.
Venue and event
---------------
CMCS'20 will be held in Dublin, Ireland, co-located with ETAPS 2020 on
25 - 26 April 2020.
Important dates (tentative)
---------------------------
Abstract regular papers 6 January 2020
Submission regular papers 10 January 2020
Notification 12 February 2020
Camera-ready copy 21 February 2020
Submission short contributions 26 February 2020
Notification short contributions 11 March 2020
Programme committee
-------------------
Henning Basold, Leiden University, the Netherlands
Nick Bezhanishvili, University of Amsterdam, the Netherlands
Corina Cirstea, University of Southampton, United Kingdom
Mai Gehrke, CNRS and Université Côte d'Azur, France
Helle Hvid Hansen, Delft University of Technology, The Netherlands
Shin-Ya Katsumata, National Institute of Informatics, Japan
Bartek Klin, Warsaw University, Poland
Ekaterina Komendantskaya, Heriot-Watt University, United Kingdom
Barbara König, University of Duisburg-Essen, Germany
Dexter Kozen, Cornell University, USA
Clemens Kupke, University of Strathclyde, United Kingdom
Alexander Kurz, Chapman University, USA
Daniela Petrisan, Université Paris 7, France
Andrei Popescu, Middlesex University London, United Kingdom
Damien Pous, CNRS and ENS Lyon, France
Jurriaan Rot, UCL and Radboud University, The Netherlands
Davide Sangiorgi, University of Bologna, Italy
Ana Sokolova, University of Salzburg, Austria
David Sprunger, National Institute of Informatics, Japan
Henning Urbat, University of Erlangen-Nuremberg, Germany
Fabio Zanasi, University College London, United Kingdom
Publicity chair
---------------
Henning Basold, Leiden University, The Netherlands
PC co-chairs
--------------
Daniela Petrisan, Université Paris 7, France
Jurriaan Rot, UCL and Radboud University, The Netherlands
Steering committee
------------------
Filippo Bonchi, University of Pisa, Italy
Marcello Bonsangue, Leiden University, The Netherlands
Corina Cirstea, University of Southampton, United Kingdom
Ichiro Hasuo, National Institute of Informatics, Japan
Bart Jacobs, Radboud University Nijmegen, The Netherlands
Bartek Klin, University of Warsaw, Poland
Alexander Kurz, University of Leicester, United Kingdom
Marina Lenisa, University of Udine, Italy
Stefan Milius (chair), University of Erlangen-Nuremberg, Germany
Larry Moss, Indiana University, USA
Dirk Pattinson, Australian National University, Australia
Lutz Schröder, University of Erlangen-Nuremberg, Germany
Alexandra Silva, 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. 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=cmcs2020.
The proceedings of CMCS 2020 will include all accepted regular papers
and will be published post-conference as a Springer volume in the
IFIP-LNCS series (pending approval). Accepted short contributions will
be bundled in a technical report.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam