CAUTION: The Sender of this email is not from within Dalhousie. 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/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]