[C2] ================================================ AMAST Links 01 02

             Category Theory and Computer Science, CTCS-6
             University of Cambridge, UK, 7-11 August 1995

  The sixth of the biennial conferences on Category Theory and Computer
Science is to be held in Cambridge in 1995, in conjunction with the
third Cambridge Summer Meeting in Category Theory.
  The purpose of the conference series is the advancement of the
foundations of computing using the tools of category theory, algebra,
geometry and logic.  Whilst the emphasis is on applications of category
theory, it is recognised that the area is highly interdisciplinary and
the organising committee welcomes submissions in related areas.
  *Topics* central to the conference include:
 o  Models of computation
 o  Program logics and specification
 o  Type theory and its semantics
 o  Domain theory
 o  Linear logic and its applications
 o  Categorical programming
  Submissions purely on category theory are also acceptable as long as
the applicability to computing is evident.
  Previous meetings have been held in Guildford (Surrey), Edinburgh,
Manchester, Paris and Amsterdam.
  *Proceedings:* it is anticipated that will be published by Springer
in the LNCS series.
  *Dates:* Subm: 1 Feb 1995; Notif: 14 Apr 1995; Final: 1 Jun 1995.
  *Submissions:* send 5 hard copies of a draft paper (max 20 pages) to
   Dr. David Pitt, Department of Mathematical and Computing Sciences
   University of Surrey, Guildford, Surrey, GU2 5XH, United Kingdom
  *Local Arrangements:*
   Dr. Peter Johnstone
   Department of Pure Mathematics and Mathematical Statistics
   16 Mill Lane, Cambridge, CB2 1SB, United Kingdom
  *Registration* forms will be available nearer to the date.
  *Organising and programme committee:*
   S. Abramsky,  P.-L. Curien,  P. Dybjer,  P. Johnstone,  G. Longo,
   G. Mints,  J. Mitchell,  E. Moggi,  D. Pitt,  A. Pitts,  A. Poigne,
   D. Rydeheard,  F-J. de Vries,  E. Wagner.