Symposium for Gordon Plotkin

September 7-8, 2006
LFCS, School of Informatics, University of Edinburgh


Home Page Information Page Programme Participants Talk materials Pictures


James Clerk Maxwell Building, King's Buildings, University of Edinburgh

Thursday 7th September

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

Friday 8th September

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

Home Page Information Page Programme Participants Talk materials Pictures