\documentstyle{article} \parindent 0cm \pagestyle{empty} \textwidth 18cm \textheight 28cm \topmargin -2.5cm \oddsidemargin -1.2cm \evensidemargin 0cm \begin{document} \begin{center} {\LARGE First Call for Papers} \end{center} \smallskip \begin{center} {\Huge Second International Conference on} \end{center} \begin{center} {\Huge Typed Lambda Calculi and Applications} \end{center} \begin{center} {\Huge TLCA} \end{center} \smallskip \begin{center} {\Large April 10--12, 1995, Edinburgh, Scotland} \end{center} \bigskip 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:\vspace{-1cm} \begin{itemize}\begin{center} \item[] \bf Proof theory of type systems \\ \item[] \bf Logic and type systems \\ \item[] \bf Typed lambda calculi as models of (higher order) computation \\ \item[] \bf Semantics of type systems \\ \item[] \bf Proof verification via type systems \\ \item[] \bf Type systems of programming languages \\ \item[] \bf Typed term rewriting systems \end{center} \end{itemize} \bigskip \begin{minipage}[t]{8.5cm} {\large \bf Program} \smallskip 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: \smallskip {\bf H.~Barendregt}~(Catholic University of Nijmegen) \\ {\bf M.~Dezani}~(Chairperson, University of Turin) \\ {\bf J-Y.~Girard}~(University of Marseilles) \\ {\bf R.~Hindley}~(University of Swansea) \\ {\bf F.~Honsell}~(University of Udine) \\ {\bf J.~W.~Klop}~(CWI) \\ {\bf G.~Longo}~(ENS) \\ {\bf A.~Meyer}~(MIT) \\ {\bf G.~Plotkin}~(University of Edinburgh) \\ {\bf P.~Scott}~(University of Ottawa) \\ {\bf J.~Smith}~(University of Gothenburg/Chalmers) \\ {\bf J.~Tiuryn}~(University of Warsaw) \\ \smallskip {\large \bf Call for Papers} \smallskip 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. \end{minipage} \hspace{1cm} \begin{minipage}[t]{8.5cm} {\large \bf Proceedings} \smallskip It is intended to publish the accepted papers as a volume of the Springer Verlag Lecture Notes in Computer Science series.\smallskip\\ {\large \bf Organizing Committee} \smallskip {\bf G.~Cleland, P.~Gardner, M.~Lekuse, G.~Plotkin} \\(University of Edinburgh) \\ {\large \bf Important Dates} \smallskip \vspace{-0.25cm}\begin{tabbing} abcdefghijklmnop\=abcdefghijklmnop\kill Sept. 8, 1994 \>Deadline for submissions \\ Nov. 12, 1994 \>Notification of acceptance \\ Dec. 15, 1994 \>Final version of paper \\ April 10, 1995 \>TLCA \end{tabbing} \vspace{0.1cm}\smallskip {\large \bf TLCA Secretariat} \smallskip TLCA Secretariat \\ Professor M.~Dezani \\ Universit\'{a} di Torino \\ Dipartimento di Informatica \\ Corso Svizzera, 185\\ 10149 Torino \\ ITALY\\ Tel: 39-11-7429232~~Fax: 39-11-751603\\ Email: dezani@di.unito.it \\ {\large \bf $\lambda$-Calculus Network Meeting} \smallskip Participants of TLCA are invited to attend a $\lambda$-Calculus Network Meeting to be held in the weekend before the conference. \end{minipage} \end{document}