| 8.15-8.55 |
REGISTRATION |
|
| |
|
| 8.55-9.00 |
WELCOME |
|
| |
|
| 9.00-10.00 |
Dana Scott (Carnegie Mellon University, Emeritus) |
| |
Remembrances of Domains Past |
| |
|
| 10.00-10.10 |
SHORT BREAK |
|
| |
|
| 10.10-11.10 |
Glynn Winskel (University of Cambridge) |
| |
Petri nets, Event structures and Domains, Part II |
| |
|
| 11.10-11.30 |
BREAK |
| |
|
| 11.30-12.30 |
Martín Abadi (UC Santa Cruz and Microsoft
Research, Silicon Valley) |
| |
Calculi for Access Control |
| |
|
| 12.30-13.00 |
Luca Cardelli (Microsoft Research, Cambridge); |
| |
Artificial Biochemistry |
| |
|
| 13.00-14.00 |
LUNCH |
| |
|
| 14.00-15.00 |
David Pym (Hewlett-Packard Laboratories, Bristol) |
| |
Systems Modelling via Resources and Processes: Philosophy,
Calculus, Semantics, and Logic. |
| |
|
| 15.00-15.10 |
SHORT BREAK |
| |
|
| 15.10-16.10 |
Philippa Gardner (Imperial College) |
| |
Local Reasoning about Data Update |
| |
|
| 16.10-16.30 |
BREAK |
| |
|
| 16.30-17.30 |
Colin Stirling (University of Edinburgh) |
| |
Model-checking Games for Typed Lambda Calculi |
| |
|
|
| 19.15 for 20.00 |
BANQUET - Playfair Library, Old College, South
Bridge |
| 9.20-9.30 |
Rod Burstall (University of Edinburgh, Emeritus) |
| |
Recorded message |
| |
|
| 9.30-10.30 |
Samson Abramsky (University of Oxford) |
| |
Full Abstraction and Full Completeness |
| |
|
| 10.30-10.50 |
BREAK |
| |
|
| 10.50-11.50 |
Eugenio Moggi (Università di Genova) |
| |
From Partial Lambda-calculus to Monads |
| |
|
| 11.50-12.00 |
SHORT BREAK |
|
| |
|
| 12.00-13.00 |
Marcelo Fiore (University of Cambridge); |
| |
Analytic Functors and Domain Theory |
| |
|
| 13.00-14.00 |
LUNCH |
| |
|
| 14.00-15.00 |
Robin Milner (University of Cambridge, Emeritus) |
| |
Processes, Dynamics, Congruence and Meaning |
| |
|
| 15.00-15.30 |
Matthew Hennessy (University of Sussex) |
| |
Some Remarks on Testing Probabilistic Processes |
| |
|
| 15.30-15.50 |
BREAK |
| |
|
| 15.50-16.50 |
John Power (University of Edinburgh) |
| |
The Category Theoretic Understanding of Universal Algebra:
Lawvere Theories and Monads |
| |
|