21 November 2011, Coalgebra in the Netherlands (COIN)

COIN, or Coalgebra in the Netherlands, is a newly organized seminar planned to take 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 first COIN meeting is scheduled for Monday, 21 November 2011, at CWI, in room L120. The schedule is as follows:
14:30 - 15:15 Dimitri Hendriks (VU) and Jörg Endrullis (VU), Equational Reasoning and Bisimulation in Coq
15:15 - 16:00 Jan Rutten (CWI/RU), On the Final Coalgebra of Automatic Sequences
16:15 - 17:00 Marcello Bonsangue (Leiden/CWI), Coalgebraic Characterizations of Regular and Context-Free Languages

For more information, see the seminar website at http://homepages.cwi.nl/~winter/coin.html