second call for papers, TLCA

21 Jul 1994

      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}