From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9555 Path: news.gmane.org!.POSTED!not-for-mail From: Henning Basold Newsgroups: gmane.science.mathematics.categories Subject: CMCS 2018: Call for Short Contributions Date: Sat, 17 Feb 2018 14:05:01 +0100 Message-ID: Reply-To: Henning Basold NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1518980714 14316 195.159.176.226 (18 Feb 2018 19:05:14 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 18 Feb 2018 19:05:14 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Feb 18 20:05:10 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1enUGW-00021C-Fi for gsmc-categories@m.gmane.org; Sun, 18 Feb 2018 20:04:48 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:43725) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1enUHh-0007hh-RO; Sun, 18 Feb 2018 15:06:01 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1enUGh-0006bN-UL for categories-list@mlist.mta.ca; Sun, 18 Feb 2018 15:04:59 -0400 Content-Language: nl Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9555 Archived-At: Call for Short Contributions 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 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 --------------- Submission short contributions 28 February 2018 Notification short contributions 12 March 2018 Proceedings ----------- 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 --------------------- 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 long, and should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2018. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]