PROGRAM OF CMCS

Program of CMCS

Friday 6/4

15.00
16.30 chair Ugo Montanari (University of Pisa
Bialgebraic Semantics and Recursion (Invited Talk)
Gordon Plotkin (University of Edinburgh)
Iteration Monads
Peter Aczel (Manchester University)
Jiri Adamek (Technical University of Braunschweig)
Jiri Velebil (Technical University of Praha)

16.30
17.00 Coffee

17.00
18.30 chair Larry Moss (University of Indiana)
From Varieties of Algebras to Covarieties of Coalgebras
Jiri Adamek (Technical University of Braunschweig)
Hans-E. Porst (University of Bremen)
Modal Operators for Coequations
Jesse Hughes (Carnegie Mellon University)
Modal Rules are Co-Implications
Alexander Kurz (CWI, Amsterdam)

Saturday 7/4

9.30
11.00 chair Bart Jacobs (University of Nijmegen)
Cut-Elimination, Program Transformation, and Deforestation (Invited Talk)
Robin Cockett (University of Calgary)
Two-Dimensional Linear Algebra
Martin Hyland (University of Cambridge, UK)
John Power (University of Edinburgh)

11.00
11.30 Coffee

11.30
13.00 chair Dusko Pavlovic (Kestrel Institute, Palo Alto)
Monoid Labeled Transition Systems
H.Peter Gumm, Tobias Schroeder (Philipps University, Marburg)
Modal Languages for Coalgebras in a Topological Setting
Dirk Pattinson (Ludwig-Maximilian University, Muenchen)
A Calculus of Terms for Coalgebras of Polynomial Functors
Robert Goldblatt (Victoria University, Wellington)
the paper will be presented by Bart Jacobs (University of Nijmegen)

13.00
14.30 Lunch

14.30
16.00 chair Jan Rutten (CWI, Amsterdam)
Generalised Coinduction
Falk Bartels (CWI, Amsterdam)
Algebras, Coalgebras, Monads and Comonads
Neil Ghani (University of Leicester)
Christoph Lueth (University of Bremen)
Federico De Marchi, John Power (University of Edinburgh)
Invariants of Monadic Coalgebras
Dragan Masulovic (University of Novi Sad)

16.00
16.30 Coffee

16.30
18.00 chair John Power (University of Edinburgh)
From Algebras and Coalgebras to Dialgebras
Erik Poll, Jan Zwanenburg (University of Nijmegen)
Process Calculi `a la Bird-Meertens
Luis S. Barbosa (University of Minho)
When is a Function a Fold or an Unfold?
Jeremy Gibbons (Oxford University)
Graham Hutton, Thorsten Altenkirch (University of Nottingham)

	Friday 6/4
15.00 16.30	chair Ugo Montanari (University of Pisa Bialgebraic Semantics and Recursion (Invited Talk) Gordon Plotkin (University of Edinburgh) Iteration Monads Peter Aczel (Manchester University) Jiri Adamek (Technical University of Braunschweig) Jiri Velebil (Technical University of Praha)
16.30 17.00	Coffee
17.00 18.30	chair Larry Moss (University of Indiana) From Varieties of Algebras to Covarieties of Coalgebras Jiri Adamek (Technical University of Braunschweig) Hans-E. Porst (University of Bremen) Modal Operators for Coequations Jesse Hughes (Carnegie Mellon University) Modal Rules are Co-Implications Alexander Kurz (CWI, Amsterdam)
	Saturday 7/4
9.30 11.00	chair Bart Jacobs (University of Nijmegen) Cut-Elimination, Program Transformation, and Deforestation (Invited Talk) Robin Cockett (University of Calgary) Two-Dimensional Linear Algebra Martin Hyland (University of Cambridge, UK) John Power (University of Edinburgh)
11.00 11.30	Coffee
11.30 13.00	chair Dusko Pavlovic (Kestrel Institute, Palo Alto) Monoid Labeled Transition Systems H.Peter Gumm, Tobias Schroeder (Philipps University, Marburg) Modal Languages for Coalgebras in a Topological Setting Dirk Pattinson (Ludwig-Maximilian University, Muenchen) A Calculus of Terms for Coalgebras of Polynomial Functors Robert Goldblatt (Victoria University, Wellington) the paper will be presented by Bart Jacobs (University of Nijmegen)
13.00 14.30	Lunch
14.30 16.00	chair Jan Rutten (CWI, Amsterdam) Generalised Coinduction Falk Bartels (CWI, Amsterdam) Algebras, Coalgebras, Monads and Comonads Neil Ghani (University of Leicester) Christoph Lueth (University of Bremen) Federico De Marchi, John Power (University of Edinburgh) Invariants of Monadic Coalgebras Dragan Masulovic (University of Novi Sad)
16.00 16.30	Coffee
16.30 18.00	chair John Power (University of Edinburgh) From Algebras and Coalgebras to Dialgebras Erik Poll, Jan Zwanenburg (University of Nijmegen) Process Calculi `a la Bird-Meertens Luis S. Barbosa (University of Minho) When is a Function a Fold or an Unfold? Jeremy Gibbons (Oxford University) Graham Hutton, Thorsten Altenkirch (University of Nottingham)