4 June 2015, Coalgebra in the Netherlands (COIN)

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University in Nijmegen and the CWI in Amsterdam. The aim of COIN is to bring together coalgebra researchers from various locations in the Netherlands, and share current results and questions in the world of coalgebra. We welcome presentations on any subject related to coalgebra. As usual, everyone who is interested is cordially invited to come.

Speakers:
Julian Salamanca: Equations and Coequations for Weighted Automata.
Renato Neves: Towards a calculus of hybrid components
Henning Basold: Dependent Inductive and Coinductive Types via Dialgebras in Fibrations

For more information, see http://cs.ru.nl/~hbasold/coin.