\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}