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.
Coalgebra morphisms subsume open maps. Terminal Sequences for Endofunctors on Set. Languages for Coalgebras on Datafunctors. On coalgebras of real numbers. A Coequational Approach to Specifying Behaviours.