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.

15 May 2014, Coalgebra in the Netherlands (COIN)

Date: Thursday 15 May 2014
Time: 13:30 -
Location: Room HG00.307, Radboud Universiteit Nijmegen, Nijmegen, The Netherlands

COIN, or Coalgebra in the Netherlands, is a seminar taking place alternating at the Radboud University 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.

The next COIN meeting is scheduled for Thursday 15 May 2014, at Radbout University Nijmegen. As usual, everyone who is interested is cordially invited to come.
Speakers:
Sjaak Smetsers: Bialgebraic semantics in PVS
Joost Winter: Brzozowski Bialgebras
Enric Cosme-Llopez & Jan Rutten: The dual equivalence of equations and coequations for automata

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.