The full version of this announcement is available in two
forms: plain-text and LaTeX respectively.
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;
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