10 April 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.

Speakers:
Marco Peressotti: Behavioural equivalences for coalgebras with unobservable moves
Daniela Petri~an: Up-to techniques for bisimulations with silent moves
Jurriaan Rot: Coalgebraic trace semantics via forgetful logics

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