CMCS 2018 - 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018)
Topics/Call fo Papers
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 workshop is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications.
Organiser: Corina Cirstea (University of Southampton, United Kingdom)
Organiser: Corina Cirstea (University of Southampton, United Kingdom)
Other CFPs
- 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis
- 2018年能源工程与新能源应用国际学术会议
- 51st International Conference on Latest Researches in Engineering, Science and Management. Publication In: Anna University Annexure I, SCOPUS, Thomson Reuters (ISI), Web of Science, H-Index, EBSCO, Ulrich, Google Scholar, etc…
- ISERD - 258th International Conference on Vehicular, Mobile and Wearable Technology (ICVMWT)
- ISERD – 319th International Conference on Science and Innovative Engineering (ICSIE)
Last modified: 2017-11-28 17:39:03