[Prev][Next][Index][Thread]

"Themes in the Semantics of Computation", 17--21 July 1995


		     A Newton Institute Workshop

		THEMES IN THE SEMANTICS OF COMPUTATION
		  
			   17--21 July 1995
		   Newton Institute, Cambridge, UK


			  Final Announcement


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"

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)


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 P.J.Freyd, "Between Mathematics and Computation:
               problems and perspectives"
15.30 - 16.00 Tea
16.00 - 16.45 Laurence Paulson, "A concrete final coalgebra theorem
               for ZF set theory"
16.45 - 17.30 Contributed talks

Tuesday 18 July

 9.00 - 10.30 Robin Milner, "Interaction vs. Evaluation" 
10.30 - 11.00 Coffee
11.00 - 11.45 David Walker
11.45 - 12.30 Mads Tofte
12.30 - 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 Contributed talks

Wednesday 19 July
 
 9.00 - 10.30 John Reynolds, "The influence of semantics on programming
               language design"
10.30 - 11.00 Coffee
11.00 - 11.45 John Mitchell
11.45 - 12.30 Philip Wadler
12.30 - 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
12.30 - 14.00 Lunch
14.00 - 14.45 David Benson
14.45 - 15.30 Contributed talks
15.30 - 16.00 Tea
16.00 - 17.30 Contributed talks

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 Stephen Brookes, "Fairness Revisited"
11.45 - 12.30 Peter Wegner, "Interaction Machines: semantics and
               expressive power"
12.30 - 14.00 Lunch
14.00 - 17.30 Contributed talks


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 35
pounds per day including breakfast.

To register, please return the appended REGISTRATION FORM to:

                        Michael Sekulla
			Isacc Newton Institute
			20 Clarkson Road
			Cambridge CB3 0EH

			Tel: +44 1223 335984
			Fax: +44 1223 330508
			Email: M.F.Sekulla@newton.cam.ac.uk

----------------------------------------------------------------------

			  REGISTRATION FORM

	       [Return to M.F.Sekulla@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? Yes/No* 

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? Yes/No*

[If yes, send abstract direct to sa@doc.ic.ac.uk]

Social events:

Are you interested in taking a guided tour of Cambridge during the
free afternoon (cost: 3.50 pounds/person)? Yes/No*

Do you want to attend a workshop banquet scheduled for Thursday
evening (estimated cost 25 pounds/person)? Yes/No*

[* - delete as appropriate]
------------------------------------------------------------------------