The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Isaac Newton Institute for Mathematical Sciences

Semantics of Computation

1 July - 31 December 1995

Organisers: S Abramsky (Imperial College, London), G Kahn (INRIA, Sophia-Antipolis), J C Mitchell (Stanford), A M Pitts (Cambridge)

Advances In Type Systems For Computing

First Call for Registration and Contributed Talks

The workshop on Advances In Type Systems For Computing is being held as part of a six-month research programme on Semantics of Computation at the Isaac Newton Institute for Mathematical Sciences, a new international research centre in Cambridge UK. The workshop programme will consist of a combination of invited and contributed talks presenting recent developments in the use of typing in computing, with particular emphasis on the following three related areas:

* extensions of the ML type system *

* types in object-oriented programming *

* type theories for reactive systems *

Invited speakers will include:

M Abadi (DEC), X Leroy (INRIA), V Saraswat (Xerox), K Bruce (Williams), D MacQueen (AT&T), S Smith (John Hopkins), L Cardelli (DEC), J Palsberg (Aarhus), M Tofte (DIKU), R Harper (CMU), B Pierce (Cambridge), A Yonezawa (Tokyo).

Programme committee:

Contributed talks:

The organizers invite offers of contributed talks. These will be selected by the programme committee on the basis of submittedabstracts. In addition to an indication of the results to be presented in the talk and their relevance to the subject of the workshop, the abstract should give the talk title and the speakers's name, address, phone number, fax number and email address (when available). Notification of selection of contributed talks will be made by 1 May, 1995.

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 150 pounds (includes the cost of lunches, coffee and tea breaks). Accommodation for participants will be available next door to the Newton Institute in the study bedrooms of Girton College's Wolfson Court, at a cost of about 192 pounds for the week (including breakfast and evening meal).


The conference is sponsored by the European Union Human Capital and Mobility Programme and will provide grants towards registration, travel and subsistence costs of selected young (under 35 years) participants at postgraduate or postdoctorate level. To be eligible for such a grant you must be a citizen of a European Union Member State, or a person residing and working for at least one year in such a country. The grant application form is available by ftp from as pub/programmes/semATSCform.txt, or by post from Florence Leroy at the above address. In order to apply for a rant please fill in and return the form by 30 April 1995.

Important dates:

Abstracts for contributed talks 1 April 1995, Notification of selection of contributed talk 30 April 1995, Deadline for grant applications 30 April 1995, Deadline for registration 14 June 1995, Workshop dates 14--18 August 1994.

Copyright © Isaac Newton Institute