Email Gateway (Mar 24 2022 at 12:05): Email Gateway (Mar 24 2022 at 12:05):From: Thorsten Wissmann <s-dgq@thorsten-wissmann.de>
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:
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;
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
Last updated: Jul 15 2022 at 23:21 UTC