From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/862 Path: news.gmane.org!not-for-mail From: Typed Lambda-Calculi and Applications Newsgroups: gmane.science.mathematics.categories Subject: TLCA 99 : extended deadline Date: Tue, 15 Sep 98 14:28:25 +0200 Message-ID: <199809151243.OAA21179@iml.univ-mrs.fr> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241017253 27917 80.91.229.2 (29 Apr 2009 15:00:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:00:53 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Wed Sep 16 16:06:51 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA05246 for categories-list; Wed, 16 Sep 1998 14:52:48 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 171 Xref: news.gmane.org gmane.science.mathematics.categories:862 Archived-At: ________________________ 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} 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. 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:} 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}