Symposium for Gordon Plotkin
September 7-8,
2006
LFCS, School of Informatics,
University of Edinburgh
Talk materials
| Home Page | Information Page | Programme | Participants | Talk materials | Pictures |
| Dana Scott | Remembrances of Domains Past |
| (Carnegie Mellon University, Emeritus) | RealVideo |
| Glynn Winskel | Petri nets, Event structures and Domains, Part II |
| (University of Cambridge) | PDF RealVideo |
| Martín Abadi | Calculi for Access Control |
| (UC Santa Cruz and Microsoft Research, Silicon Valley) | PDF Powerpoint RealVideo |
| Luca Cardelli | Artificial Biochemistry |
| (Microsoft Research, Cambridge); | PDF RealVideo |
| David Pym | Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. |
| (Hewlett-Packard Laboratories, Bristol) | PDF PS RealVideo |
| Philippa Gardner | Local Reasoning about Data Update |
| (Imperial College) | PDF RealVideo |
| Colin Stirling | Model-checking Games for Typed Lambda Calculi |
| (University of Edinburgh) | PDF RealVideo |
| Rod Burstall | Recorded message |
| (University of Edinburgh, Emeritus) | |
| Samson Abramsky | Full Abstraction and Full Completeness |
| (University of Oxford) | PDF RealVideo |
| Eugenio Moggi | From Partial Lambda-calculus to Monads |
| (Università di Genova) | PDF RealVideo |
| Marcelo Fiore | Analytic Functors and Domain Theory |
| (University of Cambridge); | PDF RealVideo |
| Robin Milner | Processes, Dynamics, Congruence and Meaning |
| (University of Cambridge, Emeritus) | RealVideo |
| Matthew Hennessy | Some Remarks on Testing Probabilistic Processes |
| (University of Sussex) | PDF RealVideo |
| John Power | The Category Theoretic Understanding of Universal
Algebra: Lawvere Theories and Monads |
| (University of Edinburgh) | PDF RealVideo |
| Home Page | Information Page | Programme | Participants | Talk materials | Pictures |