Subject: categories: TLCA 99 : extended deadline

From: Typed Lambda-Calculi and Applications <[email-masked]>
Date: Tue, 15 Sep 98 14:28:25 +0200

________________________
EXTENDED DEADLINE FOR TLCA 99

In order to respond to a popular demand, the PC of TLCA 99 has  
decided to accept late submissions, namely all papers arriving BEFORE  
Monday 28 September. 

Below is the updated call for papers.

\documentstyle{article}

\parindent 0cm
\pagestyle{empty}
\textwidth 18cm
\textheight 28cm
\topmargin -2.5cm
\oddsidemargin -1.2cm
\evensidemargin 0cm

\begin{document}

\begin{center}
 {\Large Fourth International Conference on}
\end{center}
\smallskip

\begin{center}
{\Huge Typed Lambda Calculi and Applications}
\end{center}
\begin{center}
{\Huge (TLCA'99)} \\
\end{center}
\bigskip
\begin{center}
{\Large l'Aquila (Italia), 7 to 9 April 1999}
\end{center}
\smallskip
\begin{center}
{\LARGE \bf Call For Papers}
\end{center}
\bigskip
The TLCA series of
conferences aims at providing a forum for
the presentation and discussion of recent
research in an area which was originally a rather restricted field  
but has now considerably expanded. The following list of topics is  
non-limitative:\\
\vspace{-0.4cm}
{\large
\begin{center}
\begin{tabular}{@{}ll}
{\bf Proof-theory} & {Cut-elimination and normalization, Linear  
logic, \ldots}\\
\\
{\bf Semantics} & {Denotational semantics, Game semantics, \ldots}\\
\\
{\bf Operationality} & {Abstract machines, Parallel execution,  
\ldots}\\
\\
{\bf Typing} & {Subtypes, Type assignment systems, \ldots}\\
\\
{\bf Programming} & {Proof search, Type checking, \ldots}\\
\end{tabular}
\end{center}
}
\bigskip

\begin{minipage}[t]{8.5cm}

The programme of TLCA'99 will consist of about
30 selected presentations in plenary sessions.
The Programme Committee consists of:\\

{\bf S.~Abramsky}~(University of Edinburgh) \\
{\bf T.~Coquand}~(G\"oteborgs Universitet) \\
{\bf J.-Y.~Girard}~(IML/Marseille) ({\bf Chair}) \\
{\bf R.~Hindley}~(University of Wales Swansea) \\
{\bf J.-L. Krivine}~(Universit\'e Paris VII) \\
{\bf J.~Reynolds}~(Carnegie-Mellon University/Pittsburgh) \\
{\bf S.~Ronchi}~(Universit\`a di Torino) \\
{\bf A.~Scedrov}~(University of Pennsylvania/Philadelphia) \\
{\bf T.~Streicher}~(Technische Universit\"at Darmstadt) \\
{\bf M.~Takahashi}~(T\^oky\^o K\^ogy\^o Daigaku) \\
{\bf P.~Urzyczyn}~(Uniwersytet Warszawski) \\

{\bf Original contributions} should be sent by E-mail (Postscript  
files only) to
\begin{quote}
[email-masked]
\end{quote}
and a short abstract should be sent as a separate E-mail; it should  
use only standard ASCII characters. Hard copy (6 copies) is
also acceptable, to the address
\begin{quote}
    Jean-Yves Girard, \\
    Institut de Math\'ematiques de Luminy, \\
    163 Avenue de Luminy, case 907, \\
    13288 Marseille cedex 9, France \\
    {\bf fax:}    (+)-33-491269655
\end{quote}
All submissions must be {\bf received} by Sept. 27, 1998.
\end{minipage} \hspace{1cm} \begin{minipage}
                                   [t]{8.5cm}

Papers should not exceed 15 standard A4 or U.S.
quarto pages and should allow the Programme Committee to assess
the merits of the work: in particular references and
comparisons with related work should be included. Submission of  
material already published or submitted to other Conferences with  
Proceedings is not allowed.\\

{\bf Relevant dates:}
\begin{quote}
Submissions: {\em September 4, 1998}\\
Acceptance/rejection: {\em November 16, 1998} \\
Definitive versions due: {\em January 4, 1999}
\end{quote}
The accepted papers will be published as a volume
of Springer Lecture Notes in Computer Science. Information about LNCS  
can be found at the home page
\vspace{-0.3cm}
\begin{quote}
http://www.springer.de/comp/lncs/index.html
\end{quote}
More details about the Conference will become available later from  
the
Organizing Committee Chairman:
\begin{quote}
Benedetto Intrigila\\
Dipartimento di Matematica\\
Universit\`a di l'Aquila\\
Via Vetoio, Loc. Coppito\\
67100 l'Aquila, Italia\\
{\bf E-mail:} [email-masked]\\
{\bf fax:}    (+)-39-862-433180
\end{quote}
or at the home page:
\begin{quote}
http://w3.dm.univaq.it/tlca99
\end{quote}

\end{minipage}

\end{document}