[MM] ================================================ AMAST Links 02 05

          Workshop on Themes in the Semantics of Computation
           17--21 July 1995, Newton Institute, Cambridge, UK
                      
   The full version of this Call for Registration is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205MM.txt

  The workshop will be part of the Newton Institute programme
on the Semantics of Computation. The general aims of the programme are
twofold. First, to refine the current framework for the semantics of
computation so that it is capable of dealing with the more subtle
computational features present in the programming languages of today
and tomorrow.  Secondly, to provide a framework for interaction
between such fundamental research and the issues confronted by
language designers and software engineers. We particularly have in
mind current developments such as object-based concurrent programming,
and projects to develop the next generation of advanced programming
languages, such as ML 2000.  The range of technical and conceptual
challenges involved in this work requires active collaboration and
flow of information between overlapping communities of mathematicians,
computer scientists and computer practitioners.
  The workshop is intended to open up some of the themes to be pursued
during the Semantics of Computation research programme, with some
emphasis on the interplay between theory and practice.  Apart from the
invited talks and accompanying sessions, there will also be scope for
contributed talks.
  Invited speakers will include: Tony Hoare (Oxford), Cliff Jones 
(Manchester), Gilles Kahn (INRIA), Robin Milner (Cambridge), John 
Reynolds (CMU), Akinori Yonezawa (Tokyo).
  Other speakers will include: David Benson (Washington) Stephen
Brookes (Carnegie-Mellon) John Mitchell (Stanford) Laurence Paulson
(Cambridge) Benjamin Pierce (Cambridge) Michel Sintzoff (Louvain) Alan
Stewart (Belfast) Mads Tofte (DIKU) Philip Wadler (Glasgow) David
Walker (Warwick) Peter Wegner (Brown).