[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]
  
----------------------------------------------------------------------