Programme of CMCS at ETAPS 2010

(Coalgebraic Methods in Computer Science)

Saturday, March 27

09.00-10.30 SESSION 3

09.30: Invited speaker: Logic and coalgebra (Dirk Pattinson)

10:30 - 11:00 Coffee Break

11.00-12.45 SESSION 4

11.00: Recursive Program Schemes and Context-Free Monads 

Jiri Adamek, Stefan Milius and Jiri Velebil

11.35: Categorifying Computations into Components via Arrows as Profunctors

Kazuyuki Asada and Ichiro Hasuo

12.10: Higher-order Algebras and Coalgebras from Parameterized Endofunctors

Jiho Kim

12:45 - 14:00 Lunch

14:00 - 16:00 SESSION 5

14.00: Invited speaker: Operational semantics coalgebraically (Bartek Klin)

15.00: Positive structural operational semantics and monotone distributive laws

Marcelo Fiore and Sam Staton

15.20: Pointwise Extensions of GSOS-defined operations

Helle Hansen and Bartek Klin

15.20: Algebraic Enriched Coalgebras

Filippo Bonchi, Marcello Bonsangue, Jan Rutten and Alexandra Silva

 

16:00 - 16:30 Coffee Break

16:30 - 17:40 SESSION 6

16.30: Recursive Program Schemes with Effects

Daniel Schwencke

16.50: Similarity quotients as final coalgebras

Paul Levy

17.10: Conway Games, algebraically and coalgebraically

Furio Honsell and Marina Lenisa

 

18:30 - ... WORKSHOP DINNER