From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7192 Path: news.gmane.org!not-for-mail From: ams@cwi.nl Newsgroups: gmane.science.mathematics.categories Subject: CMCS 2012: Call for Participation and Short Contributions Date: Sat, 4 Feb 2012 13:52:12 +0100 Message-ID: Reply-To: ams@cwi.nl NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1328458471 6261 80.91.229.3 (5 Feb 2012 16:14:31 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 5 Feb 2012 16:14:31 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Feb 05 17:14:30 2012 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Ru4jV-0007e5-S1 for gsmc-categories@m.gmane.org; Sun, 05 Feb 2012 17:14:30 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:50344) by smtpx.mta.ca with esmtp (Exim 4.77) (envelope-from ) id 1Ru4i1-0003wj-Ca; Sun, 05 Feb 2012 12:12:57 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Ru4i1-0005fi-7E for categories-list@mlist.mta.ca; Sun, 05 Feb 2012 12:12:57 -0400 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7192 Archived-At: -------------------------------------------------------------------------= ----- CMCS 2012 call for participation and short contributions -------------------------------------------------------------------------= ----- The 11th International Workshop on Coalgebraic Methods in Computer Scienc= e 31 March - 1 April 2012, Tallinn, Estonia co-located with ETAPS 2012 www.coalg.org/cmcs12 Aims and scope -------------- In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the CMCS workshop series is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. 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 semantic 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). Registration ------------ Registration is handled via the ETAPS website; please visit=20 http://www.etaps.org/2012/registration Keynote Speaker --------------- Samson Abramsky, Oxford University, UK Invited Speakers ---------------- Marcello Bonsangue, Leiden University, The Netherlands Pawel Sobocinski, University of Southampton, UK Submission of Short Contributions --------------------------------- Submission is electronic via the easychair system at http://www.easychair.org/conferences/?conf=3Dcmcs2012 following the submission guidelines below. Submission of regular papers is closed. The submission deadline for short contributions is February 20, 2012 (but see below under 'Important Dates'). Short contributions will be bundled in a technical report. They should be no more than two pages in LNCS format 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. Important dates=20 --------------- * 20 February 2012: submission deadline for short contributions=20 * 25 February 2012: author notification for short contributions * 26 February 2012: ETAPS normal registration deadline * 31 March - 1 April 2012: the workshop=20 We continue to accept short contributions (with notfication one week after submisssion) until Februrary 27 based on avaliability of slots. However, please note that the ETAPS normal registration deadline is February 26. Invited Papers -------------- Samson Abramsky and Jonathan Zvesper. From Lawvere to Brandenburger-Keisler: interactive forms of diagonaliza= tion and self-reference Pawel Sobocinski. Relational Presheaves as Labelled Transition Systems Marcello Bonsangue, Jan Rutten and Joost Winter. Defining context-free power series coalgebraically Accepted Regular Papers ----------------------- Alexander Kurz, Daniela Petrisan, Paula Severi and Fer-Jan de Vries.=20 An Alpha-Corecursion Principle for the Infinitary Lambda Calculus Bart Jacobs, Alexandra Silva and Ana Sokolova.=20 Trace Semantics via Determinization Celia Picard and Ralph Matthes.=20 Permutations in Coinductive Graph Representation Dusko Pavlovic.=20 Coalgebraic Man in the Middle Eleftherios Matsikoudis and Edward Lee.=20 From Transitions to Executions Giorgio Bacci and Marino Miculan. Structural operational semantics for continuous state probabilistic pro= cesses Jiri Adamek, Stefan Milius and Lawrence Moss. On Finitary Functors and Their Presentations Johannes Marti and Yde Venema. Lax Extensions of Coalgebra Functors Toby Wilkinson. Internal Models for Coalgebraic Modal Logics Vincenzo Ciancia and Yde Venema. Stream automata are coalgebras Programme Committee ------------------- Luis Barbosa, University of Minho, Braga, Portugal Filippo Bonchi, LIP ENS-Lyon, France Josee Desharnais, Universit=E9 Laval, Canada Mai Gehrke, Radboud University Nijmegen, The Netherlands H. Peter Gumm, University of Marburg, Germany Ichiro Hasuo, University of Tokyo, Japan Patricia Johann, University of Strathclyde, Glasgow, Scotland, UK Ekaterina Komendantskaya, University of Dundee, Scotland, UK Dexter Kozen, Cornell University, Ithaca, NY, USA Dorel Lucanu, Alexandru Ioan Cuza University, Iasi, Romania Stefan Milius, Technical University of Braunschweig, Germany Larry Moss, Indiana University, Bloomington, USA Prakash Panangaden, McGill University, Montreal, Canada Dirk Pattinson, Imperial College London, UK (co-chair) Dusko Pavlovic, Royal Holloway, London, UK Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, USA Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Luigi Santocanale, University of Provence, Marseille, France Lutz Schr=F6der, DFKI GmbH, Bremen, Germany (co-chair) Alexandra Silva, Radboud University Nijmegen, The Netherlands Ana Sokolova, University of Salzburg, Austria Sam Staton, University of Cambridge, UK Yde Venema, University of Amsterdam, The Netherlands Steering Committee ------------------ Jiri Adamek, Technical University of Braunschweig, Germany Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, Germany Bart Jacobs, Radboud University Nijmegen, The Netherlands Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, Italy Ugo Montanari, University of Pisa, Italy Larry Moss, Indiana University, Bloomington, USA Dirk Pattinson, Imperial College London, UK John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, Germany Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Lutz Schr=F6der, DFKI GmbH and University of Bremen, Germany Publicity Chair --------------- Alexandra Silva, Radboud University Nijmegen, The Netherlands . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]