The conference aims at providing a forum for the presentation and discussion of recent research in the following areas:
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.