Update of [AL0103M3] .
The TLCA'95 conference programme and registration information are available in plain-text and in LaTeX versions.
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 and J. Tiuryn.
Local Organizing Committee George Cleland, Philippa Gardner, Monika Lekuse and Gordon Plotkin.
TLCA'95 Conference Address
TLCA'95 Laboratory for Foundations of Computer Science
Department of Computer Science, University of Edinburgh
Edinburgh EH9 3JZ, Scotland. Phone: +44 131 650 5132;
Fax: +44 131 667 7209; E-mail: tlca@lfcs.ed.ac.uk
Registration The full registration fee covers coffee breaks, conference dinner, reception and proceedings, which will be published by Springer-Verlag in the Lecture Notes in Computer Science series. The student rate does not include the proceedings and the banquet. The conference will take place in the Reid Music Hall at Bristo Square, University of Edinburgh. The registration desk is open the evening before the conference (5pm--7pm at King's Buildings) and at intervals during the conference itself. Further instructions will be given with the acknowledgment for your conference registration.
Early registration and accommodation forms must be received by 10th March 1995. All cancellations received before 27th March 1995 will incur an administration charge of 20 pounds, plus any accommodation charges which are not recoverable. No refunds can be made for cancellations received after 27th March. Substitutions may be made at any time.
There are additional expenses for the associated events: 20 pounds for the Lambda-calculus meeting and 15 pounds for the Jumelage meeting.
Additional Information: See the TLCA'95 conference WWW page .