[Agda] CMCS 2018: Final Call for Papers

[Henning Basold]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

                                Call for Papers

                        The 14th International Workshop on
                 Coalgebraic Methods in Computer Science (CMCS'18)
                     Thessaloniki, Greece, 14 - 15 April 2018
                           (co-located with ETAPS 2018)
                               www.coalg.org/cmcs18

Flyer
- ---------
This call for papers is available as a flyer, which can also be printed
and used as a poster, at
http://www.coalg.org/cmcs18/files/2017/10/cmcs18_flyer.pdf


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, logic, answer set, 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'18 will be held in Thessaloniki, Greece, co-located with
ETAPS 2018, on 14 - 15 April 2018.

Keynote speaker
- ---------------
Samson Abramsky (University of Oxford, United Kingdom)

Invited speakers
- ----------------
Clemens Kupke (University of Strathclyde, United Kingdom)
Daniela Petrisan (University Diderot Paris 7, France)

Invited tutorial speakers
- -------------------------
There will be a special session on quantum computation, with invited
tutorials by
  Bob Coecke (University of Oxford, United Kingdom)
  Aleks Kissinger (Radboud University Nijmegen, The Netherlands)

Important dates
- ---------------
Abstract regular papers           5 January 2018
Submission regular papers        12 January 2018
Notification regular papers      12 February 2018
Camera-ready copy                19 February 2018
Submission short contributions   23 February 2018
Notification short contributions  9 March 2018

Proceedings
- -----------
The proceedings of CMCS 2018 will include all accepted regular papers
and will be published post-conference as a Springer volume in the
IFIP-LNCS series. Accepted short contributions will be bundled in a
technical report.

Programme committee
- -------------------
Filippo Bonchi (University of Pisa, Italy)
Marcello Bonsangue (LIACS, Leiden University, The Netherlands)
Corina Cirstea (University of Southampton, United Kingdom)
Fredrik Dahlqvist (University College London, United Kingdom)
Ugo Dal Lago (University of Bologna, Italy)
Sergey Goncharov (FAU Erlangen-Nürnberg, Germany)
Helle Hvid Hansen (Delft University of Technology, The Netherlands)
Ichiro Hasuo (National Institute of Informatics, Japan)
Bart Jacobs (Radboud University Nijmegen, The Netherlands)
Bartek Klin (University of Warsaw, Poland)
Paul Levy (University of Birmingham, United Kingdom)
Stefan Milius (FAU Erlangen-Nürnberg, Germany)
Lawrence Moss (Indiana University, United States)
Dirk Pattinson (Australian National University, Australia)
Dusko Pavlovic (University of Hawai‘i at Mānoa, United States)
Daniela Petrisan (University Diderot Paris 7, France)
Damien Pous (CNRS, ENS Lyon, France)
Juriaan Rot (Radboud University Nijmegen, The Netherlands)
Jan Rutten (CWI/Radboud University Nijmegen, The Netherlands)
Lutz Schröder (FAU Erlangen-Nürnberg, Germany)
Alexandra Silva (University College London, United Kingdom)
Ana Sokolova (University of Salzburg, Austria)
Henning Urbat (Technische Universität Braunschweig, Germany)
Jamie Vicary (University of Oxford, United Kingdom)

Publicity chair
- ---------------
Henning Basold (CNRS, ENS Lyon, France)

PC chair
- --------
Corina Cirstea (University of Southampton, United Kingdom)

Steering committee
- ------------------
Filippo Bonchi (University of Pisa, Italy)
Marcello Bonsangue (LIACS, 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), FAU Erlangen-Nürnberg, Germany
Larry Moss (Indiana University, United States)
Dirk Pattinson (Australian National University, Australia)
Jan Rutten (CWI/Radboud University Nijmegen, The Netherlands)
Lutz Schröder (FAU Erlangen-Nürnberg, 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=cmcs2018.
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEMnUmuprSDishxVMiatBsEc2xMm4FAlo7xjcACgkQatBsEc2x
Mm5GEg//Zdnprk3lo8DUuAMGdJcx9ZJjsUKE4V1mLuWfdeC5eAX1Iv4r8MeWGMwn
NHb+6VnVxPTotTK8CivzoUyaxwV36a3VTEjml3msuZmjK0Hok+3BLObbf5aQwWY5
sdVmjm24T9T3A0dQsLeCdFTiaWSA/VOk2nYDW9ROF6o+glvGXBNgjyJVzUcIKy+e
jmo2n2ht4RofDoDNsp7uqP4PhN2YXfcKMVftfL4UyDHOWf2Qjh+GJaoPBBRfn5+J
hgVe8BLi4gvJKEe8eMihNDFF0aTvhVwjZ8wZyjh3gdeo8mtT83B++EZTSOnJPzED
EUV6xiwwPUIgdNDsO75utwmAx98CoqHiSTnZ2LOUMRnNid1SIlU9mLmbcBVGSdma
p/VkN9w/YyDIN/LcD9rJCDTv/LrmeunEM9n+nvTRvRMfy5INV0u0o/iXvbDUSdJO
ZhV/ykzzCUMtqYPZRNaI5HeIZs3fm+Olh4uFzHLqdR+Sjn2hO0Z+8RJGs43E08O0
Z02BkpE3i+t5ytC1CnyOv9KHmAm0t7KDlk4f/PY/1t+nZXGe0gQlRbTYcHRoLJtD
Cr6I58w4+tqQk77ThrdNvsX+dxsl/RGSaKXoVLMOZWDeQM5kv9Gu6oP16bb+QzZp
aEQtijjqsYST5aN9icasf4K+WOp5jJd2TQxPQyBLzZcd4v1Suu4=
=8SXX
-----END PGP SIGNATURE-----