Invited Speakers

At this tenth meeting the following invited speakers will present overviews of important subareas.

• Venanzio Capretta: Coalgebra in functional programming and type theory
• Bartek Klin: Operational semantics coalgebraically
• Dirk Pattinson: Logic and coalgebra
• Ana Sokolova: Probabilistic systems coalgebraically