Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10 April 2015, Coalgebra in the Netherlands (COIN)

Date: Friday 10 April 2015
Time: 13:30 -
Location: CWI, Amsterdam, The Netherlands

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/

Please note that this newsitem has been archived, and may contain outdated information or links.