The full version of this Call is available.
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:
Invited speakers will include: M Abadi (DEC), K Bruce (Williams), L Cardelli (DEC), R Harper (CMU), X Leroy (INRIA), D MacQueen (AT&T), J Palsberg (Aarhus), B Pierce (Cambridge), V Saraswat (Xerox), S Smith (John Hopkins), M Tofte (DIKU), A Yonezawa (Tokyo).
Programme committee: S Abramsky (Imperial), L Cardelli (DEC), J Mitchell (Stanford) Chair, A Pitts (Cambridge), A Yonezawa (Tokyo).
Contributed talks will be selected by the programme committee on the basis of submitted abstracts. Five copies of an abstract in English (up to 2 pages) should be sent to the program committee chairman
John Mitchell (ATSC), Department of Computer Science,
Stanford University, Stanford, CA 94305-2140, USA
to arrive not later than 1 April, 1995. Notification of selection of contributed talks by 1 May, 1995. Registration deadline: 14 June 1995.
For further information and registration forms please contact:
Florence Leroy, Isaac Newton Institute, 20 Clarkson Road
Cambridge CB3 0EH. Tel: +44 1223 335984, Fax: +44 1223 330508
Email: f.leroy@newton.cam.ac.uk
Grants: The conference is sponsored by the European Union Human Capital and Mobility Programme and will provide grants to registration, travel and subsistence costs of selected young (under 35) participants. Grant application deadline 30 April 1995. See full version for details.