Category Theory and Computer Science (CTCS'04)
August 12th-14th, 2004
Appsem II conference


FIRST Graduate Student Summer School, August 9th-11th, 2004

Workshop on Categorical Methods in Concurrency, Interaction and Mobility (CMCIM), August 11th, 2004



Programme for CMCIM 2004
The Workshop takes place in Aud 3.

 

 

 

 

 

 

Time

Event

14.00-14.30

"Monad combinators, non-determinism and probabilistic choice"

Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia.

Joint work with Neil Ghani, University of Leicester, UK.

14.30-14.45

Questions

14.45-15.15

"Introduction to Operads"

Ittay Weiss, University of Utrecht

15.15-15.30

Questions

15.30-  

Free discussion on CMCIM