Coalgebra 2018 - International Workshop on Coalgebra Now

Coalgebra is a unifying theory of state-based systems. It has emerged in the last two decades as the right mathematical framework for reasoning about infinite objects and non-well-founded structures, encompassing and abstracting fundamental concepts such as bisimilarity, coinduction and modal logic. The aim of the workshop is to stimulate the further development of coalgebraic methods in the FLOC community (and beyond). For researchers who are new to coalgebra, the workshop aims to provide an opportunity for them to learn what coalgebra is about and how it may be useful for their own research. For researchers who are already active in coalgebra, the workshop aims to provide an overview of the current state of the art and perspectives for future research. We believe that there is potential for further growth and wider connections between coalgebra and other fields in theoretical computer science, benefiting the community at large.