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.

12 November 2013, Coalgebra in the Netherlands (COIN)

Date: Tuesday 12 November 2013
Location: Room L120, CWI, Amsterdam, 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 Tuesday, 12 November 2013, at the CWI, in room L120. As usual, everyone who is interested is cordially invited to come. The schedule is as follows:
13:30 - 14:15 Jan Rutten (CWI/RU) Syntactic Monoids and Their Dual
14:15 - 15:00 Robbert Krebbers (RU) Moessner's Theorem: an Exercise in Coinductive Reasoning in Coq
15:15 - 16:00 Jurriaan Rot (LIACS/CWI) Combining Bialgebraic Semantics and Equations

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

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