From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10019 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Henning Basold Newsgroups: gmane.science.mathematics.categories Subject: CMCS 2020: First Call for Papers Date: Fri, 11 Oct 2019 19:13:00 +0200 Message-ID: Reply-To: Henning Basold Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="97389"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@rr.mta.ca Sun Oct 13 15:18:08 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iJdl6-000P73-BU for gsmc-categories@m.gmane.org; Sun, 13 Oct 2019 15:18:04 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:60084) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iJdkn-0002Rj-IQ; Sun, 13 Oct 2019 10:17:45 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iJdkd-0002rz-9o for categories-list@rr.mta.ca; Sun, 13 Oct 2019 10:17:35 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10019 Archived-At: 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=C3=A9 C=C3=B4te 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=C3=B6nig, 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=C3=A9 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=C3=A9 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=C3=B6der, 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=3Dcmcs2020. 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]