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.
KEYNOTE SPEAKERS:
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"
PROVISIONAL PROGRAMME
Monday 17 July
- 9.30 - 10.00 Registration
- 10.00 - 10.30 Coffee
- 10.30 - 12.00 C.A.R. Hoare, "Unified theories of programming"
- 12.00 - 14.00 Lunch
- 14.00 - 15.30 Gilles Kahn, "Semantic ideas for building and maintaining programs: progress and problems"
- 15.30 - 16.00 Tea
- 16.00 - 16.45 Alan Stewart, "Reasoning about data parallel array assignment"
- 16.45 - 17.30 Geoffrey Smith and Dennis Volpano, "Polymorphic Variables"
Tuesday 18 July
- 9.00 - 10.30 Robin Milner, "Interaction vs. Evaluation"
- 10.30 - 11.00 Coffee
- 11.00 - 11.45 David Walker, TBA
- 11.45 - 12.30 Mads Tofte, TBA
- 12.30 - 14.00 Lunch
- 14.00 - 15.30 Peter Freyd, "Between Mathematics and Computation: problems and perspectives"
- 15.30 - 16.00 Tea
- 16.00 - 16.45 Chih-Hao Luke Ong, TBA
- 16.45 - 17.30 David Benson, "Sketches and Modules"
Wednesday 19 July
- 9.00 - 10.00 John Reynolds, "The Interaction between Semantics and Programming Language Design"
- 10.00 - 10.45 Robert Tennent, "Semantics and Language Design for Algol-like Languages"
- 10.45 - 11.15 Coffee
- 11.15 - 12.00 John Mitchell, TBA
- 12.00 - 12.45 Philip Wadler, "Theory and Practice in the design of Haskell"
- 12.45 - 14.00 Lunch
- 14.00 - free afternoon
Thursday 20 July
- 9.00 - 10.30 Cliff Jones "Some practical problems and their influence on semantics"
- 10.30 - 11.00 Coffee
- 11.00 - 11.45 Benjamin Pierce, "View from the Other Shore: applying concurrency notation to database problems"
- 11.45 - 12.30 Michel Sintzoff, TBA
- 12.30 - 14.00 Lunch
- 14.00 - 14.45 Kohei Honda, "Presenting Processes"
- 14.45 - 15.30 Radha Jagadeesan, "Computing with continuous change"
- 15.30 - 16.00 Tea
- 16.00 - 16.45 Peter Wegner, "Interaction Machines: semantics and expressive power"
- 16.45 - 17.30 Victor Yodaiken, "Sequence function trees, feedback, and real-time computation"
Friday 21 July
- 9.00 - 10.30 Akinori Yonezawa, "Theory and Practice of Concurrent Object-oriented Programming"
- 10.30 - 11.00 Coffee
- 11.00 - 11.45 Uday Reddy, "Object-based semantics"
- 11.45 - 12.30 Laurence Paulson, "A concrete final coalgebra theorem for ZF set theory"
- 12.30 - 14.00 Lunch
- 14.00 - 14.45 Marta Kwiatkowska, "Towards a fair powerdomain"
- 14.45 - 15.30 Stephen Brookes, "Fairness revisited"
- 15.30 - 16.00 Tea