[C4] ================================================ AMAST Links 02 02

   Int'l Workshop on Advances in Type Systems for Computing, ATSC'95
          Newton Institute, Cambridge, UK, 14--18 August 1995

   The _full version_ of this Call is available at
URL: http://www.cs.utwente.nl/data/amast/links/v02/i02/full/ATSC95c.txt

  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:
 o  extensions of the ML type system
 o  types in object-oriented programming
 o  type theories for reactive systems
  *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.