Programme of CMCS at ETAPS 2010

(Coalgebraic Methods in Computer Science)

Friday, March 26

14.00-16.10 SESSION 1

14.00: Invited speaker: Probabilistic systems coalgebraically (Ana Sokolova)

15.00: On Coalgebras over Algebras

Adriana Balan and Alexander Kurz

15.35: From Coalgebraic to Monoidal Traces

 

Bart Jacobs

16:10 - 16:30 Coffee Break

16.30-17.40 SESSION 2

16.30:Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

Corina Cirstea

17.05: Structural Operational Semantics and Modal Logic, Revisited

Bartek Klin