posted by user: xanovsky || 2096 views || tracked by 2 users: [display]

CMCS 2012 : International Workshop on Coalgebraic Methods in Computer Science


When Mar 31, 2012 - Apr 1, 2012
Where Tallinn
Abstract Registration Due Jan 4, 2012
Submission Deadline Jan 9, 2012
Categories    coalgebra   categories

Call For Papers

NEWS: Papers need to be submitted by the deadline Jan. 4 but can be updated until Monday Jan. 9, 2012, 12:00 CET.

CMCS 2012 call for papers

The 11th International Workshop on Coalgebraic Methods in Computer Science
31 March - 1 April 2012, Tallinn, Estonia
(co-located with ETAPS 2012)

*** Proceedings to be published in Springer LNCS ***

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
* 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

Keynote Speaker

Samson Abramsky, Oxford University, UK

Invited Speakers

Marcello Bonsangue, Leiden University, The Netherlands
Pawel Sobocinski, University of Southampton, UK


Submission is electronic via the easychair system at

following the submission guidelines below. We solicit two types of

(a) Regular papers to be evaluated by the PC for publication in the

They must have a length no greater than 20 pages, formatted in LNCS
style ( They must
contain original contributions, be clearly written, and include
appropriate reference to and comparison with related work.

(b) 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 2012 will be published in Springer Lecture
Notes in Computer Science. The final proceedings will be published
post-conference and feature 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
* TBA: strict submission deadline regular papers
* TBA: notification regular papers
* TBA: final version
* 27 February 2012: strict submission deadline short contributions
* 6 March 2010: notification short contributions
* 31 March - 1 April 2012: the workshop

Programme Committee

Luis Barbosa, University of Minho, Braga, Portugal
Filipo Bonchi, LIP ENS-Lyon, France
Josee Desharnais, Université 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, Ithaka, 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öder, DFKI GmbH, Bremn, Germany (co-chair)
Alexandra Silva, CWI, Amsterdam, 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öder, DFKI GmbH and University of Bremen, Germany

Related Resources

Virtual Environments for Cybersecurity 2021   SIMULATION MODELLING PRACTICE AND THEORY - Special Issue on ''Virtual Environments for Cybersecurity''
IWoSR 2021   2021 International Workshop on Service Robotics (IWoSR 2021)
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
AIKE 2021   IEEE Artificial Intelligence & Knowledge Engineering 2021
STRA - Eurasia Research 2021   8th ICSTR Dubai – International Conference on Science & Technology Research, 25-26 October 2021
MDPI-SI-BDHA 2021   Call for Papers: Special Issue “Big Data for eHealth Applications” (MDPI Applied Sciences, IF 2.474 – Indexed on Scopus, Web of Science)
SI: Adaptive HAR in smart spaces 2022   Special issue : Adaptive Human Activity and Behaviour Recognition Models for Context Awareness in Intelligent Environments
IoT Edge Computing AI 2021   Edge Computing Optimization Using Artificial Intelligence Methods
4th ICSTR Rome 2021   4th ICSTR Rome – International Conference on Science & Technology Research, 09-10 September 2021
ISM 2021   IEEE International Symposium on Multimedia 2021