First Call for Papers, TLCA International Conference on Typed Lambda Calculi and Applications April 10--12, 1995, Edinburgh, Scotland The second international conference on Typed Lambda Calculi and Applications will be held April 10--12, 1995, at Edinburgh in Scotland. The conference aims at providing a forum for the presentation and discussion of recent research in the following areas: Proof theory of type systems Logic and type systems Typed lambda calculi as models of (higher order) computation Semantics of type systems Proof verification via type systems Type systems of programming languages Typed term rewriting systems The program of TLCA will consist of about 30 selected presentations in plenary sessions. The program committee for TLCA is chaired by M. Dezani and has the following members: H. Barendregt (Catholic University of Nijmegen) M. Dezani (Chairperson, University of Turin) J-Y. Girard (University of Marseilles) R. Hindley (University of Swansea) F. Honsell (University of Udine) J. W. Klop (CWI) G. Longo (ENS) A. Meyer (MIT) G. Plotkin (University of Edinburgh) P. Scott (University of Ottawa) J. Smith (University of Gothenburg/Chalmers) J. Tiuryn (University of Warsaw) Call for Papers Original contributions are solicited for TLCS; 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. The deadline for submissions is September 8, 1994. Authors will receive notification of acceptance by November 12, 1994. Definitive versions of papers will be due December 15, 1994. 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) Important Dates Sept. 8, 1994 Deadline for submissions Nov. 12, 1994 Notification of acceptance Dec. 15, 1994 Final version of paper April 10, 1995 TLCA TLCA Secretariat TLCA Secretariat Professor M. Dezani Universita di Torino Dipartimento 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.