Call for Papers
(download as txt or as a flyer)The 12th International Workshop on Coalgebraic Methods in Computer Science
5 - 6 April 2014, Grenoble, France
(co-located with ETAPS 2014)
www.coalg.org/cmcs14
5 - 6 April 2014, Grenoble, France
(co-located with ETAPS 2014)
www.coalg.org/cmcs14
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 workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.Topics 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, object-oriented, concurrent, and constraint) 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);
- coalgebra in quantum computing;
- coalgebra and game theory.
Keynote Speaker
- Davide Sangiorgi, Inria / University of Bologna, IT
Invited Speakers
- Ichiro Hasuo, University of Tokyo, JP
- Marina Lenisa, University of Udine, IT
Special Session
There will be a special session on game theory organized by Marina Lenisa
and Marcello Bonsangue on Saturday April 5 2014 with tutorials from
- Paul-Andre Mellies, Université Paris Denis Diderot, FR
- Pierre Lescanne, Ecole Normale Superieure de Lyon, FR
Submissions
Submission is electronic via the easychair system at http://www.easychair.org/conferences/?conf=cmcs2014 following the submission guidelines below. We solicit two types of contributions:- Regular papers to be evaluated by the PC for publication in the proceedings:
They must have a length of at most 20 pages, formatted in LNCS style (http://www.springer.de/comp/lncs/authors.html). They must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. - Short contributions:
These will not be published in the proceedings but 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.
Proceedings Publication
The proceedings of CMCS 2014 will be published in Springer Lecture Notes in Computer Science. The final proceedings will be published post-conference and consist of revised versions of the accepted regular papers. Preliminary proceedings will be made available at the conference in electronic form. Depending on the number and quality of submissions, we will consider publishing extended and revised papers as a journal special issue, subject to the usual reviewing procedure. Previous special issues of CMCS have appeared in high-ranking journals including Information and Computation and Theoretical Computer Science.Important dates
- 6 January 2014: abstract submission regular papers
- 10 January 2014 15 January 2014: submission deadline regular papers (strict)
- 14 February 2014: notification regular papers
- 21 February 2014: final version
- 23 February 2014: submission deadline short contributions (strict)
- 9 March 2014: notification short contributions
- 5 - 6 April 2014: the workshop
Programme Committee
- Andreas Abel, Ludwig-Maximilians-University Munich, Germany
- Davide Ancona, University of Genova, Italy
- Adriana Balan, University Politehnica of Bucharest, Romania
- Marta Bilkova, Charles University in Prague, Czech Republic
- Filippo Bonchi, LIP ENS-Lyon, France
- Marcello Bonsangue (chair), LIACS, Leiden University, The Netherlands
- Joerg Endrullis, Free University of Amsterdam, The Netherlands
- Remy Haemmerle, Universidad Politecnica de Madrid, Spain
- Bart Jacobs, Radboud University Nijmegen, The Netherlands
- Dexter Kozen, Cornell University, United States of America
- Bartek Klin, University of Warsaw, Poland
- Pierre Lescanne, ENS Lyon, France
- Stefan Milius, Friedrich-Alexander University of Erlangen-Nuernberg , Germany
- Rob Myers, Technical University of Braunschweig, Germany
- Dirk Pattinson, Australian National University, Australia
- Daniela Petrisan, University of Leicester, United Kingdom
- Grigore Rosu, University of Illinois at Urbana-Champaign, United States of America
- Katsuhiko Sano, JAIST, Nomi, Japan
- Monika Seisenberger, Swansea University, United Kingdom
- Ana Sokolova, University of Salzburg, Austria
Publicity Chair
- Alexandra Silva, Radboud University Nijmegen and CWI, The Netherlands
Steering Committee
- Jiri Adamek, Technical University of Braunschweig, Germany
- Marcello Bonsangue, LIACS, Leiden University, The Netherlands
- Corina Cirstea, University of Southampton, United Kingdom
- H. Peter Gumm (chair), University of Marburg, Germany
- Bart Jacobs, Radboud University Nijmegen, The Netherlands
- Alexander Kurz, University of Leicester, United Kingdom
- Marina Lenisa, University of Udine, Italy
- Ugo Montanari, University of Pisa, Italy
- Larry Moss, Indiana University, Bloomington, United States of America
- Dirk Pattinson, Australian National University, Australia
- John Power, University of Bath, United Kingdom
- Horst Reichel, Technical University of Dresden, Germany
- Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands
- Lutz Schröder, Friedrich-Alexander University of Erlangen-Nuernberg , Germany