Programme of CMCS at ETAPS 2010

(Coalgebraic Methods in Computer Science)

Sunday, March 28

09.00-10.30 SESSION 7

Invited speaker: Coalgebra in functional programming and type theory  (Venanzio Capretta)

10:30 - 11:00 Coffee Break

11.00-12.45 SESSION 8

11.00: Strong Relative Monads

Tarmo Uustalu

11.20: Dynamic coalgebraic modalities

Helle Hansen and Raul Leal

11.40: Interpration as coalgebra morphisms

Manuel Martins, Alexandre Madeira and Luis Barbosa

12.00: Expressivity of Coalgebraic Logic over posets

Krzystof Kapulkin, Alexander Kurz and Jiri Velebil

12.20: Rigid structures and their application to the HS = SH problem

Tomasz Brengos

12:45 - 14:00 Lunch

14:00 - 15:45 SESSION 9

14.00: Coinduction in Concurrent Timed Systems

Jan Komenda

14.35: Applications of Algebra and Coalgebra in Scientific Modelling. Illustrated with the Logistic Map

Michael Hauhs and Baltasar Trancon y Widemann

15.10: Families of Symmetries as Efficient Models of Resource Binding

Vincenzo Ciancia, Alexander Kurz and Ugo Montanari