call for papers, previous message

From: (Philippa Gardner)
Subject:  CFP: Typed Lambda Calculi and Applications (TCLA)
Date:     14 Mar 1994 08:28:48 -0600

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.


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

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
Tel: 39-11-7429232  Fax:  39-11-751603

Lambda-Calculus Network Meeting

Participants of TLCA are welcome to attend a Lambda-Calculus
Network Meeting to be held immediately before the conference.