[Prev][Next][Index][Thread]
THEMES IN THE SEMANTICS OF COMPUTATION
A Newton Institute Workshop
THEMES IN THE SEMANTICS OF COMPUTATION
17--21 July 1995
Newton Institute, Cambridge, UK
Call for Registration
BACKGROUND
The workshop will take 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.
WORKSHOP PROGRAMME
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)
Contributed talks:
The organizers invite offers of contributed talks. These will be
selected on the basis of submitted abstracts. Abstracts in English
(up to 2 pages) should be sent (preferably by email) to
Prof. Samson Abramsky (TSC)
Department of Computing
Imperial College
180 Queen's Gate
London SW7 2BZ
email: sa@doc.ic.ac.uk
In addition to an indication of the results to be presented in the
talk and their relevance to the theme of the workshop, the abstract
should give the talk title and the speakers's name, address, telephone
number, fax number and email address (when available).
CONFERENCE LOCATION, COSTS AND REGISTRATION
The workshop will take place in the Newton Institute's
purpose-designed building, in a pleasant area in the west of
Cambridge, about one mile from the centre of the City. There will be a
registration fee of 40 pounds (includes the cost of lunches, coffee
and tea breaks). The Newton Institute can provide assistance with
finding local accommodation---the cost of which is likely to be 40
pounds per day including breakfast.
To register, please return the appended REGISTRATION FORM to:
Florence Leroy
Isacc Newton Institute
20 Clarkson Road
Cambridge CB3 0EH
Tel: +44 1223 335984
Fax: +44 1223 330508
Email: f.leroy@newton.cam.ac.uk
For more information or further enquiries about the workshop contact:
Prof. Samson Abramsky <sa@doc.ic.ac.uk>
---------------------------------------------------------------------------
REGISTRATION FORM
[Return to f.leroy@newton.cam.ac.uk]
Newton Institute for Mathematical Sciences
Workshop on
THEMES IN THE SEMANTICS OF COMPUTATION
17--21 July 1995
Name:
Organization:
Address:
Telephone:
Fax:
Email:
Accomodation needed?
If yes, which nights [16, 17, 18, 19, 20, and 21 recommended]?
Sunday 16
Monday 17
Tuesday 18
Wednesday 19
Thursday 20
Friday 21
Offering contributed talk?
[If yes, send abstract direct to sa@doc.ic.ac.uk]
----------------------------------------------------------------------