From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10704 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Thorsten Wissmann Newsgroups: gmane.science.mathematics.categories Subject: CMCS 2022: Call for Participation Date: Thu, 24 Mar 2022 11:23:36 +0100 Message-ID: Reply-To: Thorsten Wissmann Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37459"; mail-complaints-to="usenet@ciao.gmane.io" To: Categories Original-X-From: majordomo@rr.mta.ca Sat Mar 26 23:56:01 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nYFKB-0009TT-KF for gsmc-categories@m.gmane-mx.org; Sat, 26 Mar 2022 23:55:59 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:55884) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nYFIO-00005b-8m; Sat, 26 Mar 2022 19:54:08 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nYFHr-0006S3-SV for categories-list@rr.mta.ca; Sat, 26 Mar 2022 19:53:35 -0300 Content-Disposition: inline Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10704 Archived-At: Call for Participation The 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'22) Munich, Germany, 2-3 April 2022 (co-located with ETAPS 2022) https://www.coalg.org/cmcs22 ***ETAPS Registration closes on 26 March 2022*** 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 are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: - set-theoretic and categorical foundations of coalgebra; - algebra & coalgebra, (co)monads, and distributive laws; - (modal) logic; - automata theory and formal languages; - coinductive definitions and proof principles (including "up-to" techniques) - semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) - functional, objected-oriented, concurrent, and constraint programming; - type theory (notably behavioural typing); - formal verification and specification; - control theory (notably discrete events and hybrid systems); - quantum computing; - game theory; - implementation, tools, and proof assistants Venue and event --------------- CMCS'22 will be held in Munich, Germany, co-located with ETAPS 2022 on 2-3 April 2022. We aim for an event with maximal on-site participation, but a few presentations will be given online due to circumstances. See the programme for details: https://www.coalg.org/cmcs22/programme/ If you would like to join the CMCS workshop dinner, please sign up asap here: https://www.coalg.org/cmcs22/workshop-dinner/ Keynote speaker --------------- Ana Sokolova, University of Salzburg, Austria Invited speakers ---------------- Renato Neves, University of Minho, Portugal Sam Staton, University of Oxford, United Kingdom Invited tutorial speakers ------------------------- There will be a special session on Data Languages with invited tutorials by: S??awomir Lasota, University of Warsaw, Poland Mahsa Shirmohammadi, CNRS & University of Paris, France Programme and Accepted papers ----------------------------- The list of accepted papers and short contributions, and the programme is available on the website: https://www.coalg.org/cmcs22/ Programme committee ------------------- Adriana Balan, University Politehnica of Bucharest, Romania Henning Basold, Leiden University, The Netherlands Marta Bilkova, Czech Academy of Sciences, Czech Republic Fredrik Dahlqvist, Queen Mary University London, United Kingdom Fredrik Nordvall Forsberg, University of Strathclyde, United Kingdom Richard Garner, Macquarie University, Australia Jeremy Gibbons, University of Oxford, United Kingdom Helle Hvid Hansen (co-chair), University of Groningen, The Netherlands Ichiro Hasuo, National Institute of Informatics, Japan Tobias Kapp??, University of Amsterdam, The Netherlands Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, United Kingdom Alexander Kurz, Chapman University, USA Barbara K??nig, University of Duisburg-Essen, Germany Marina Lenisa, University of Udine, Italy Davide Sangiorgi, University of Bologna, Italy Lutz Schr??der, University of Erlangen-Nuremberg, Germany David Spivak, Massachusetts Institute of Technology, USA Tarmo Uustalu, Reykjavik University, Iceland Thorsten Wi??mann, Radboud University, The Netherlands Fabio Zanasi (co-chair), University College London, United Kingdom Maaike Zwart, ITU Copenhagen, Denmark PC co-chairs -------------- Helle Hvid Hansen, University of Groningen, The Netherlands Fabio Zanasi, University College London, United Kingdom Publicity chair --------------- Thorsten Wi??mann, 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 Oxford, United Kingdom Alexander Kurz, Chapman University, United States Marina Lenisa, University of Udine, Italy Stefan Milius (chair), University of Erlangen-Nuremberg, Germany Lawrence Moss, Indiana University, USA Daniela Petrisan, University Paris Diderot, France Jurriaan Rot, Radboud University, The Netherlands Dirk Pattinson, Australian National University, Australia Lutz Schr??der, University of Erlangen-Nuremberg, Germany Alexandra Silva, Cornell University, USA [For admin and other information see: http://www.mta.ca/~cat-dist/ ]