CALCO 2005: Invited Speakers
The so far confirmed invited speakers for CALCO 05 are:
Professor Samson Abramsky, Christopher Strachey Professor of Computing, University of Oxford,
UK, "A Mad Day's Work in Theoretical Computer Science".
- Professor Gordon Plotkin,
School of Informatics, University of Edinburgh, UK, "Adequacy for Algebraic Effects with State".
- Professor Vladimiro Sassone,
Professor of Informatics, University of Sussex, UK, "Labels from Reductions: the theory relative pushouts".