[Prev][Next][Index][Thread]
TLCA'93 Call for Papers
Date: Fri, 27 Mar 1992 15:25:53 GMT
latex file with the first announcement and call for
papers for TLCA'93 - International Conference on Typed Lambda Calculi and
Applications, to be held in Utrecht, The Netherlands, March 16-18 1993.
\documentstyle{article}
\parindent 0cm
\pagestyle{empty}
\textwidth 18cm
\textheight 28cm
\topmargin -2.5cm
\oddsidemargin -1.2cm
\evensidemargin 0cm
\begin{document}
\begin{center}
{\LARGE First Announcement and Call for Papers}
\end{center}
\smallskip
\begin{center}
{\Huge 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 March 16-18, 1993, Utrecht, The Netherlands}
\end{center}
\bigskip
TLCA - the international conference on Typed Lambda Calculi and
Applications will be held March 16-18, 1993 in Utrecht, The Netherlands.
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 H.
Barendregt and has the following members:
\smallskip
{\bf H. Barendregt} (Catholic University Nijmegen) \\
{\bf T. Coquand} (Chalmers Tekniska H\"ogskola) \\
{\bf M. Dezani} (Universita di Torino) \\
{\bf G. Huet} (INRIA) \\
{\bf M. Hyland} (Cambridge University) \\
{\bf J.W. Klop} (CWI) \\
{\bf J.C. Mitchell} (Stanford University) \\
{\bf R. Nederpelt} (Eindhoven University of Technology) \\
{\bf H. Schwichtenberg} (Universit\"at M\"unchen) \\
{\bf R. Statman} (Carnegie Mellon University)\\
\smallskip
{\large \bf Call for Papers}
\smallskip
Contributions to TLCA are solicited. Send 6 copies of an original paper to
the secretariat of TLCA. 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 1 September 1992. Authors will receive
notification of acceptance by 15 November 1992. Definitive versions of
papers will be due 15 December 1992.
\smallskip
{\large \bf Proceedings}
\smallskip
It's the intention of the organizers to have the accepted papers published
by Springer Verlag as a volume in the Lecture Notes in Computer Science
series.
\end{minipage} \hspace{1cm} \begin{minipage}[t]{8.5cm}
{\large \bf Organizing Committee}
\smallskip
{\bf M. Bezem} (Utrecht University) \\
{\bf J.F. Groote} (Utrecht University) \\
{\bf F. Snijders} (CWI, Conference Secretariat) \\
\smallskip
{\large \bf Important Dates}
\smallskip
\vspace{-0.25cm}\begin{tabbing}
abcdefghijklmnop\=abcdefghijklmnop\kill
1 September
\>Deadline for submissions \\
15 November
\>Notification of acceptance \\
15 December
\>Final version of paper \\
16-18 March
\>TLCA
\end{tabbing}
\vspace{0.1cm}\smallskip
{\large \bf TLCA Secretariat}
\smallskip
TLCA Secretariat \\
Mr. Frans Snijders \\
CWI \\
P.O. Box 4079 \\
1009 AB Amsterdam \\
The Netherlands \\
Tel. +31-20-5924171 \\
Fax +31-20-5924199 \\
Email franss@cwi.nl \\
\smallskip
{\large \bf Dirk van Dalen Symposium}
\smallskip
Participants of TLCA are welcome to attend the symposium on the
occasion of Dirk van Dalen's 60th birthday on March 15. Invited speakers include D.S.
Scott, R. Statman and A.S. Troelstra
\end{minipage}
\end{document}