Scope State-based dynamical systems as found throughout computing science are traditionally described as transition systems or certain kinds ofautomata. This workshop will be devoted to both an introduction to basic coalgebraic notions and techniques, and also to some recent advances in the theory of coalgebras. We are looking for participants and contributed talks to this informal workshop on both the theory and the use of coalgebras in computer science.
More information regarding submissions is given below.
The ideal submission is not longer than 20 pages, and gives a clear exposition of the relevant ideas.