From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5295 Path: news.gmane.org!not-for-mail From: A.M.Silva@cwi.nl Newsgroups: gmane.science.mathematics.categories Subject: CMCS 2010: First call for papers Date: Fri, 20 Nov 2009 10:41:43 +0100 Message-ID: Reply-To: A.M.Silva@cwi.nl NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1258743783 12315 80.91.229.12 (20 Nov 2009 19:03:03 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 20 Nov 2009 19:03:03 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Fri Nov 20 20:02:56 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NBYkx-0003tx-CQ for gsmc-categories@m.gmane.org; Fri, 20 Nov 2009 20:02:55 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NBYCr-0007UL-CX for categories-list@mta.ca; Fri, 20 Nov 2009 14:27:41 -0400 Content-Disposition: inline Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5295 Archived-At: ------------------------------------------------------------------------------ CMCS 2010 First call for papers ------------------------------------------------------------------------------ The Tenth International Workshop on Coalgebraic Methods in Computer Science 26-28 March 2010, Paphos, Cyprus (co-located with ETAPS 2010) http://event.cwi.nl/cmcs10/ Aims and scope ------------------ The aim of the workshop is to bring together researchers with a common interest in the theory of coalgebras and its applications. Over the last two decades, coalgebra has developed into a field of its own, presenting a mathematical foundation for various kinds of dynamical systems, infinite data structures, and logics. Coalgebra has an ever growing range of applications in and interactions with other fields such as reactive and interactive system theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc. The topics of the workshop include, but are not limited to: * the theory of coalgebras (including set theoretic and categorical approaches); * coalgebras as computational and semantical models (for programming languages, dynamical systems, etc.); * coalgebras in (functional, object-oriented, concurrent) programming; * coalgebras and data types; * (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); * coalgebras and algebras; * coalgebraic specification and verification; * coalgebras and (modal) logic; * coalgebra and control theory (notably of discrete event and hybrid systems). An anniversary: the 10th CMCS ---------------------------------------- CMCS took place for the first time when ETAPS started, in 1998. Since then, it has always been collocated with ETAPS, becoming bi-annual since the start of CALCO (Conference on Algebra and Coalgebra) in 2005. In 2010, we will celebrate the 10th edition of CMCS, by inviting a number of specialists in the field to present overviews of both obtained results and future challenges. Invited Speakers --------------------- At this tenth meeting the following invited speakers will present overviews of important subareas. * Venanzio Capretta: Coalgebra in functional programming and type theory * Bartek Klin: Operational semantics coalgebraically * Dirk Pattinson: Logic and coalgebra * Ana Sokolova: Probabilistic systems coalgebraically Submissions -------------- There are two types of submissions possible: (a) Papers to be evaluated by the PC for publication in the proceedings: They must have a length no greater than 20 pages. They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Accepted papers will appear in ENTCS (style files can be found in http://www.entcs.org/). The web-based system EasyChair will be used for submission (http://www.easychair.org/conferences/?conf=cmcs10). After the event, a special journal issue of selected papers will be considered. (b) Short contributions: These will not be published in the proceedings but will be bundled in a CWI technical report. They should be no more than two pages and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. For short submissions, the style file easychair.cls should be used (http://www.easychair.org/coolnews.cgi). The submission (pdf file) is via email: cmcs10@cwi.nl. Important dates ------------------- * 8 January 2010: strict submission deadline regular papers * 13 February 2010: notification regular papers * 15 February 2010: deadline early registration * 20 February 2010: final version * 27 February 2010: strict submission deadline short contributions * 6 March 2010: notification short contributions * 26-28 March 2010: the workshop Programme Committee ------------------------ Jiri Adamek (Braunschweig) Alexandru Baltag (Oxford) Luis Barbosa (Braga) Marcello Bonsangue (Leiden) Corina Cirstea (Southampton) Robin Cockett (Calgary) Andrea Corradini (Pisa) Neil Ghani (Glasgow) Peter Gumm (Marburg) Furio Honsell (Udine) Bart Jacobs (Nijmegen, co-chair) Bartek Klin (Cambridge) Clemens Kupke (London) Alexander Kurz (Leicester) Marina Lenisa (Udine) Stefan Milius (Braunschweig) Ugo Montanari (Pisa) Larry Moss (Bloomington) Milad Niqui (Amsterdam) Dirk Pattinson (London) Dusko Pavlovic (Oxford) John Power (Edinburgh) Horst Reichel (Dresden) Grigore Rosu (Urbana) Jan Rutten (Amsterdam, co-chair) Davide Sangiorgi (Bologna) Lutz Schroeder (Bremen) Alexandra Silva (Amsterdam) Hendrik Tews (Nijmegen) Tarmo Uustalu (Tallinn) Yde Venema (Amsterdam) Hiroshi Watanabe (Osaka) James Worrell (Oxford) Organising Committee -------------------------- Bart Jacobs, Milad Niqui (co-chair, CWI), Jan Rutten, Alexandra Silva (co-chair, CWI). Contact ---------- cmcs10@cwi.nl . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]