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)

Themes in the Semantics of Computatione

This Workshop is one of the opening events of the programme on Semantics of Computation to be held at the Newton Institute July--December 1995. The aim of the Workshop is to map out a number of the themes to be addressed over the course of the programme, with particular emphasis on the interface between theory and practice. A number of distinguished researchers will give keynote lectures in which they will review the progress that has made, and identify key problems to be addressed. There will also be scope for contributed talks.


Peter Freyd (Pennsylvania) "Between Mathematics and Computation: problems and perspectives"

C.A.R. Hoare (Oxford) "Unifying theories of programming"

Cliff Jones (Manchester) "Some practical problems and their influence on semantics"

Gilles Kahn (INRIA Sophia-Antipolis) "Semantic ideas for building and maintaining programs: progress and problems"

Robin Milner (Cambridge) "Interaction vs. Evaluation"

John Reynolds (Carnegie-Mellon) "The influence of semantics on programming language design"

Akinori Yonezawa (Tokyo) "Theory and Practice of Concurrent Object-oriented Programming"


Monday 17 July

Tuesday 18 July

Wednesday 19 July

Thursday 20 July

Friday 21 July

Copyright © Isaac Newton Institute