[C7] ================================================ AMAST Links 03 01

    3rd Int'l Conf. on Typed Lambda Calculi & Applications, TLCA'97
                   Nancy, France, 2 -- 4 April 1997

   The full version of this announcement is available in two
   forms: plain-text (?=txt) and LaTeX (?=tex) respectively at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301C7.?

  TLCA'97 will be the third in the TLCA series of conferences, which
aims at providing a forum for the presentation and discussion of recent
research in areas related to the following
  *Topics*: Type systems for lambda calculi. Proof theory of type
systems. Semantics of type systems. Typed lambda calculi. Proof
verification via type systems. Type systems of programming languages.
Typed term rewriting systems.
  The *programme* of TLCA'97 will consist of about 30 selected
presentations in plenary sessions.
  *Submission*. Original contributions for TLCA should be sent to
   Roger Hindley, Mathematics Department, University of Wales Swansea
   Swansea SA2 8PP, U.K.; e-mail: j.r.hindley@swansea.ac.uk
   fax: (+)-44-1792-295843
  Electronic submission is preferred (Postscript files only); hard copy
(6 copies) is acceptable, at the cost of some delay in communication.
  See the full version of this Call for Papers for further submission
requirements. A short abstract should be sent as an e-mail with the
paper; it should use only standard ASCII characters.
  *Relevant dates*
Deadline for submissions :          August 30, 1996;
Notification of acceptance by :     November 11, 1996;
Definitive versions of papers due : December 6, 1996.
  *Proceedings*. The accepted papers will be published as a volume of
the Springer Verlag LNCS, that will be distributed at the conference.
  *More Information* about the conference arrangements will become
available later from the Organizing Committee Chairman and Secretary:
   P. de Groote, P. Lescanne, INRIA Lorraine,
   615 rue du Jardin Botanique, B.P. 101
   F-54602 Villers-les-Nancy Cedex, FRANCE
   e-mail: Philippe.de.Groote@loria.fr