[C3] ================================================ AMAST Links 01 02

 2nd International Conference on Typed Lambda Calculi and Applications
                Edinburgh, Scotland, April 10--12, 1995

  The conference aims at providing a forum for the presentation and
discussion of recent research in the following areas:
 o  Proof theory of type systems
 o  Logic and type systems
 o  Typed lambda calculi as models of (higher order) computation
 o  Semantics of type systems
 o  Proof verification via type systems
 o  Type systems of programming languages
 o  Typed term rewriting systems.
  The program of TLCA will consist of about 30 selected presentations
in plenary sessions.
  *Programme Committee:* H. Barendregt, M. Dezani (Chair), J-Y. Girard,
R. Hindley, F. Honsell, J. W. Klop, G. Longo, A. Meyer, G. Plotkin,
P. Scott, J. Smith, J. Tiuryn.
  *Submissions:* Original contributions are solicited for TLCA; they
should be sent to the conference secretariat.  Electronic submission
(PostScript only) is preferred; hard copy (6 copies required) will also
be accepted. Papers should be clearly written and allow the program
committee to assess the merits of the work.  References and comparisons
with related work should be included.  Papers should not exceed 15
standard pages and should be accompanied by a one-page abstract.
  *Proceedings:* It is intended to publish the accepted papers as a
volume of the Springer Verlag Lecture Notes in Computer Science series.
  *Organizing Committee:* G. Cleland, P. Gardner, M. Lekuse, G. Plotkin
(University of Edinburgh).
  *Dates:* Subm: 8 Sep 1994; Notif: 12 Nov 1994; Final: 15 Dec 1995.
  *TLCA Secretariat*
   Professor M. Dezani
   Universita di Torino, Dip. di Informatica,
   Corso Svizzera, 185, 10149 Torino, Italy
   Tel: 39-11-7429232, Fax: 39-11-751603, Email: dezani@di.unito.it
  *Lambda-Calculus Network Meeting*
  Participants of TLCA are welcome to attend a Lambda-Calculus Network
Meeting to be held immediately before the conference.