From reitz Tue Jul 26 01:08:14 1994 Received: from serane.lirmm.fr (serane.lirmm.fr [193.49.105.20]) by lirmm.lirmm.fr (8.6.9/8.6.4) with ESMTP id BAA03387 for ; Tue, 26 Jul 1994 01:08:13 +0200 Received: (reitz@localhost) by serane.lirmm.fr (8.6.9/8.6.4) id AAA29859; Tue, 26 Jul 1994 00:54:28 +0200 Date: Tue, 26 Jul 1994 00:54:28 +0200 From: Philippe REITZ Message-Id: <199407252254.AAA29859@serane.lirmm.fr> To: reitz Subject: second call for papers, TLCA - comp.theory #2987 Status: RO In article , pag@dcs.ed.ac.uk (Philippa Gardner) writes: |> |> Please find enclosed the second call for papers for TLCA'95. I |> apologise to those who receive many copies of this announcement. |> |> Philippa Gardner |> |> ---------------------------------------------------------------- |> |> Second 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 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. 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. |> |> 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) |> |> 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 |> 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. |> |> ------------------------------------------------------------- |> |> \documentstyle{article} |> |> |> \parindent 0cm |> \pagestyle{empty} |> \textwidth 18cm |> \textheight 28cm |> \topmargin -2.5cm |> \oddsidemargin -1.2cm |> \evensidemargin 0cm |> |> \begin{document} |> \begin{center} |> {\LARGE Second 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 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. |> 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} |> |> |> |> |> |> |> |> |>