Thessaloniki, Greece, 14 – 15 April 2018

14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science

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.

The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. Following the event, the workshop proceedings will be published as a Springer volume in the IFIP-LNCS series.

Previous workshops of the CMCS series have been organized in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genova (2001), Grenoble (2002), Warsaw (2003), Barcelona (2004), Vienna (2006), Budapest (2008), Paphos (2010), Tallinn (2012), Grenoble (2014) and Eindhoven (2016). The proceedings appeared as Electronic Notes in Theoretical Computer Science (ENTCS) volumes 11, 19, 33, 44.1, 65.1, 82.1, 106, 164.1, 203.5 and 264.2, and as Springer LNCS 7399, 8446 and 9608. You can get an idea of the types of papers presented at the meeting by looking at the tables of contents of the ENTCS/LNCS volumes from those workshops. Journal special issues dedicated to previous CMCS have appeared in Information and Computation, Mathematical Structures in Computer Science, Theoretical Computer Science, RAIRO Theoretical Informatics and Applications.