The full version of the Call for Registration is available.
The workshop takes place as 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 aim of the Workshop is to bring together researchers pursuing various strands, to compare and contrast the different approaches, and take stock of current progress and future directions.
The following people have already agreed to speak at the Workshop:
Information relating to the Workshop Programme is included in the Call for Registration. The organizers invite offers of contributed talks; see the full version of this Call for details.