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

               BCS FACS Christmas Meeting on Concurrency
Imperial College, Queen's Gate, London SW7, 19th and 20th December 1994
             First Announcement and Call for Participation

  The Formal Aspects of Computing Special Interest Group's annual 
Christmas meeting has _concurrency_ as its theme this year.
  Keynote speakers include
 o  Matthew Hennessy
 o  Cliff Jones
 o  Mike Shields
  Proposals are invited for further contributions to the meeting. In a
departure from recent practice, contributions in the form of papers,
tutorials and workshops will all be welcomed.
  For the purposes of initial selection, proposals should be a page or
two in length, and should be sent to either member of the organising
committee (see below). Please feel free to  contact an organiser to
discuss a possible proposal.
  Proposals should reach the organisers by _30th November 1994_, but
do submit earlier if possible.
  The organisers are particularly keen to receive proposals for 
contributions of a general nature, such as those that review recent
developments in an aspect of concurrency in a form suitable for a wide
audience.

**Organisers**

   Tim Denvir
   Translimina Ltd.
   37 Orpington Road, Winchmore Hill, London N21 3PD
   Tel.: +44 81 882 5853, Fax: +44 81 882 3118
   e-mail: timdenvir@cix.compulink.co.uk

   Richard Mitchell
   Department of Computing, University of Brighton
   Lewes Road,  Brighton BN2 4GJ, UK
   Tel.: +44 273 642458, office 273 642451, Uni. switchboard 273 600900
   Fax:  +44 273 642405, e-mail: Richard.Mitchell@brighton.ac.uk