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.

4 June 2015, Coalgebra in the Netherlands (COIN)

Date: Thursday 4 June 2015
Time: 13:30-16:00
Location: Room HG02.032, Radboud Universiteit Nijmegen, Nijmegen, 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. 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.

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