Organisers: S Abramsky (Imperial College, London), G Kahn (INRIA, Sophia-Antipolis), J C Mitchell (Stanford), A M Pitts (Cambridge)
Summer School on Semantics and Logics of Computation
Programme theme
Monday 25 September
- 9.00 - 10.00 REGISTRATION
- 10.00 - 10.05 WELCOME (P.Dybjer)
- 10.05 - 10.55 Pitts, I
- 11.00 - 11.30 COFFEE
- 11.35 - 12.25 Hofmann, I
- 12.30 - 14.00 LUNCH
- 14.05 - 14.55 Nielsen-Winskel, I
- 15.05 - 15.55 Moggi, I
- 16.00 - 16.30 TEA
- 16.35 - 17.25 Hyland, I
- 17.35 - 18.25 Coquand, I
- 18.30 - 19.30 WINE RECEPTION AT THE INSTITUTE
Tuesday 26 September
- 9.05 - 9.55 Moggi, II
- 10.05 - 10.55 Coquand, II
- 11.00 - 11.30 COFFEE
- 11.35 - 12.25 Hyland, II
- 12.30 - 14.00 LUNCH
- 14.05 - 14.55 Abramsky, I
- 15.05 - 15.55 Coquand, III
- 16.00 - 16.30 TEA
- 16.35 - 17.25 Hofmann, II
Wednesday 27 September
- 9.05 - 9.55 Abramsky, II
- 10.05 - 10.55 Coquand, IV
- 11.00 - 11.30 COFFEE
- 11.35 - 12.25 Pitts, II
- 12.30 - 14.00 LUNCH
- 14.00 - FREE AFTERNOON
Thursday 28 September
- 9.05 - 9.55 Nielsen-Winskel, II
- 10.05 - 10.55 Pitts, III
- 11.00 - 11.30 COFFEE
- 11.35 - 12.25 Abramsky, III
- 12.30 - 14.00 LUNCH
- 14.05 - 14.55 Hofmann, III
- 15.05 - 15.55 Moggi, III
- 16.00 - 16.30 TEA
- 16.35 - 17.25 Hyland, III
Friday 29 September
- 9.05 - 9.55 Hofmann, IV
- 10.05 - 10.55 Nielsen-Winskel, III
- 11.00 - 11.30 COFFEE
- 11.35 - 12.25 Nielsen-Winskel, IV
- 12.30 - 14.00 LUNCH
- 14.05 - 14.55 Moggi, IV
- 15.05 - 15.55 Hyland, IV
- 16.00 - 16.30 TEA
- 16.35 - 17.25 Abramsky, IV
Lecturers
Samson Abramsky (Imperial) 4 lectures on "Semantics of interaction".
Thierry Coquand (Chalmers) 4 lectures on "Computational content of lassical logic".
Martin Hofmann (Edinburgh) 4 lectures on "Dependent type theory: syntax, semantics, and applications".
Martin Hyland (Cambridge) 4 lectures on "Game semantics".
Eugenio Moggi (Genova) 4 lectures on "Metalanguages and applications".
Mogens Nielsen & Glynn Winskel (Aarhus) 4 lectures on "Models for concurrency".
Andrew Pitts (Cambridge) 3 lectures on "Operationally-based theories of program equivalence".