Logic List Mailing Archive

CfPart CMCS 2020, Virtual, Sep & Oct 2020

Call for Participation
                         The 15th International Workshop on
                   Coalgebraic Methods in Computer Science (CMCS'20)
                              ONLINE, Sept-Oct 2020
                           https://www.coalg.org/cmcs20/


CMCS 2020 will be held virtually, as a series of approximately three
hour sessions spread across five weeks. We will have live talks on Zoom.
The first session takes place on Monday 21 September, 15:00 ? 18:00 CEST.

Programme
--------------------
The full programme can be found at

https://www.coalg.org/cmcs20/programme/

CMCS takes place during the following time slots:

? 21/09/2020, 15:00 ? 18:00 CEST
? 28/09/2020, 10:00 ? 13:00 CEST
? 05/10/2020, 15:00 ? 18:00 CEST
? 12/10/2020, 10:00 ? 13:00 CEST
? 19/10/2020, 10:00 ? 13:00 CEST


Registration
--------------------
Registration is free and is done by signing up to our discussion forum:

    https://cmcs2020.flarum.cloud/

The links for our zoom meetings and all other practical information
will be posted on this forum in threads visible only to registered
users. We would also like to use this forum as a platform for
discussions. Therefore, please use your real name when registering.

Please also consider subscribing to the coalgebra mailing list for
future discussion and specific announcements regarding coalgebras, if
you are not already subscribed:

    https://framalistes.org/sympa/subscribe/coalgebra


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
---------------
Online, see above.

Keynote Speaker
---------------
Yde Venema (ILLC, University of Amsterdam, The Netherlands)

Invited Speakers
----------------
Nathanaël Fijalkow (CNRS, LaBRI, University of Bordeaux, France)
Koko Muroya (RIMS, Kyoto University, Japan)

Invited Tutorial Speakers
-------------------------
There will be a special session on probabilistic couplings, with
invited tutorials by:
     Marco Gaboardi (Boston University, US)
     Justin Hsu (University of Wisconsin-Madison, US)


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é de Paris, IRIF, 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é de Paris, IRIF, 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, Chapman University, USA
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

Accepted papers
---------------------
For a list of accepted papers and short contributions, see

https://www.coalg.org/cmcs20/accepted-papers/
--
[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