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.

21 November 2011, Coalgebra in the Netherlands (COIN)

Date: 21 November 2011
Location: Nijmegen, The Netherlands

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

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