The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Isaac Newton Institute for Mathematical Sciences

Semantics of Computation

1 July - 31 December 1995

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

Tuesday 26 September

Wednesday 27 September

Thursday 28 September

Friday 29 September

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".

Copyright © Isaac Newton Institute