[Prev][Next][Index][Thread]
TLCA99 -- call for papers
Fourth International Conference on
Typed Lambda Calculi and Applications
(TLCA'99)
l'Aquila (Italia), 7 to 9 April 1999
-----------------------------------------------------------------------
\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}
tlca99@iml.univ-mrs.fr
\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. 4, 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:} tlca99.aquila@univaq.it\\
{\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}