Past COIN Seminars

• [09 Nov 2015, RU, Room HG02.028] Regular COIN in Nijmegen
  • Fabio Zanasi: Axiomatising linear systems: the case of signal flow graphs
  • Helle Hvid Hansen: Coalgebraic Dynamic Logics: Basic Completeness Results
  • Henning Basold: Coinductive Techniques for Proving Productivity
• [15 Oct 2015, Leiden, Lorentz Center@Snellius] Workshop on the Occasion of Jurriaan Rot's defence
  • Ugo Montanari: Causal Trees, Finally
  • Bart Jacobs: Introduction to Effectus Theory
  • Bartek Klin: Distributive laws of monads over comonads can't be formatted
• [04 Jun 2015, RU, Room HG02.032] Regular COIN in Nijmegen
  • 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
• [10 Apr 2015, CWI, Room L120] Regular COIN in Amsterdam
  • Marco Peressotti: Behavioural equivalences for coalgebras with unobservable moves
  • Daniela Petrișan: Up-to techniques for bisimulations with silent moves
  • Jurriaan Rot: Coalgebraic trace semantics via forgetful logics
• [30 Jun 2014, CWI, Room L016] Workshop on Streams/Sequences on the Occasion of Joost Winter's defence
  • Jean-Paul Allouche: Unexpected values for infinite series and products
  • Clemens Kupke: Differential Equations for streams and other coinductive types
  • Joost Winter: Classes of streams: from theory to Haskell
• [15 May 2014, RU, Room HG00.307] Regular COIN in Nijmegen
  • Sjaak Smetsers: Bialgebraic semantics in PVS
  • Joost Winter: Brzozowski Bialgebras
  • Enric Cosme-Llopez & Jan Rutten: The dual equivalence of equations and coequations for automata
• [12 Nov 2013, CWI, Room L120] Regular COIN in Amsterdam
  • Jan Rutten: Syntactic Monoids and Their Dual
  • Robbert Krebbers: Moessner's Theorem: an Exercise in Coinductive Reasoning in Coq
  • Jurriaan Rot: Combining Bialgebraic Semantics and Equations
• [03 Jun 2013, RU, HG02.702] Regular COIN in Nijmegen
  • Frank Roumen: Coalgebraic Quantum Computation
  • Matteo Mio: A note on Convex Bisimilarity (Work in Progress)
  • Helle Hvid Hansen: Distributive laws for monads with equations
• [05 Mar 2013, CWI, L120] Regular COIN in Amsterdam
  • Jean-Baptiste Jeannin: CoCaml: Programming with Coinductive Types
  • Alexandra Silva: Initial Algebras of Terms, with binding and algebraic structure
  • Henning Basold: Polynomial-based calculi for linear circuits