[Prev][Next][Index][Thread]

TLCA'97 call for papers




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


               Third International Conference on

        TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA'97)

             Nancy (France), 2 to 4 April 1997

                      CALL FOR PAPERS

TLCA'97 will be the third in the TLCA series of conferences, which
aims at providing a forum for the presentation and discussion of
recent research in areas related to the following:

  Type systems for lambda calculi
  Proof theory of type systems
  Semantics of type systems
  Typed lambda calculi
  Proof verification via type systems
  Type systems of programming languages
  Typed term rewriting systems

The programme of TLCA'97 will consist of about 30 selected
presentations in plenary sessions. The programme committee has the
following members:

  H. Barendregt  (Catholic University of Nijmegen)
  C. Boehm  (University of Rome "La Sapienza")
  M. Dezani  (University of Turin)
  G. Dowek  (INRIA-Roquencourt)
  R. Hindley  (University of Wales Swansea)     (Chair)
  F. Honsell  (University of Udine)
  P. Lescanne (CRIN & INRIA-Lorraine, Nancy)
  A. Pitts  (University of Cambridge)
  G. Plotkin  (University of Edinburgh)
  P. Scott  (University of Ottawa)
  J. Smith  (University of Gothenburg/Chalmers)
  M. Takahashi (Tokyo Institute of Technology)
  V. Tannen  (University of Pennsylvania)
  J. Tiuryn  (University of Warsaw)

Original contributions are solicited for TLCA; they should be sent to

    Roger Hindley, Mathematics Department,
     University of Wales Swansea, Swansea SA2 8PP, U.K.
      e-mail: j.r.hindley@swansea.ac.uk
      fax:    (+)-44-1792-295843

Electronic submission is preferred (Postscript files only), although
hard copy (6 copies) is also acceptable at the cost of some delay in
communication.

Postscript files may be sent as attachments to e-mail messages;
Hindley's e-mail receiving system is Macintosh "Eudora".

Papers should not exceed 15 standard A4 or U.S. quarto pages, should
be clearly written and should allow the program committee to assess
the merits of the work. References and comparisons with related work
should be included.

A short abstract should be sent as an e-mail with the paper; for ease
of transmission it should use only standard ASCII characters.

Relevant dates:

  Deadline for submissions:       August 30, 1996;

  Authors should receive
   notification of acceptance by  November 11, 1996;

  Definitive versions of papers
   will be due                    December 6, 1996;

  Date of conference              April 2 to 4, 1997.

The accepted papers will be published as a volume of the Springer
Verlag Lecture Notes in Computer Science series. This volume will be
distributed at the conference.

More detailed information about the conference arrangements will
become available later from the Organizing Committee Chairman and
Secretary:

 P. de Groote, P. Lescanne,
  INRIA Lorraine,
   615 rue du Jardin Botanique
    B.P. 101
     54602 Villers-les-Nancy Cedex, FRANCE
      e-mail: Philippe.de.Groote@loria.fr

Reminder of Important Dates:
  Aug. 30, 1996 Deadline for submissions
  Nov. 11, 1996 Notification of acceptance
  Dec.  6, 1996 Final version of paper
  April 2, 1997 TLCA (Apr 2 - 4)


============================================================
The following repeats the above information as a LaTeX file
to print out as a one-page announcement.
============================================================

\documentstyle{article}


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

\begin{document}
\begin{center}
{\Large Third International Conference on} \end{center}
\smallskip

\begin{center}
{\Huge Typed Lambda Calculi and Applications}
\end{center}
\begin{center}
{\Huge (TLCA'97)} \\
\bigskip
\begin{center}
{\Large Nancy (France), 2 to 4 April 1997} \end{center}
\smallskip
\begin{center}
{\LARGE \bf Call For Papers} \end{center}
\end{center}
\bigskip

TLCA'97 will be the third in the TLCA series of conferences, which aims at
providing a forum for the presentation and discussion of recent research in
areas related to the following:
\smallskip
\vspace{-1cm}
\begin{itemize}\begin{center}
\item[] \bf Type systems for lambda calculi \\
\item[] \bf Proof theory of type systems \\
\item[] \bf Semantics of type systems \\
\item[] \bf Typed lambda calculi \\
\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 Programme}
\smallskip

The programme of TLCA'97 will consist of about 30 selected presentations in
plenary sessions. The programme committee has the following members:\\

{\bf H.~Barendregt}~(Catholic University of Nijmegen) \\
{\bf C.~B\H{o}hm}~(University of Rome "La Sapienza") \\
{\bf M.~Dezani}~(University of Turin) \\
{\bf G.~Dowek}~(INRIA-Roquencourt) \\
{\bf R.~Hindley}~(University of Wales Swansea) {\bf (Chair)} \\
{\bf F.~Honsell}~(University of Udine) \\
{\bf P.~Lescanne}~(CRIN-INRIA-Lorraine, Nancy) \\
{\bf A.~Pitts}~(University of Cambridge) \\
{\bf G.~Plotkin}~(University of Edinburgh) \\
{\bf P.~Scott}~(University of Ottawa) \\
{\bf J.~Smith}~(University of Gothenburg/Chalmers) \\
{\bf H.~Barendregt}~(Catholic University of Nijmegen) \\
{\bf M.~Takahashi}~(Tokyo Institute of Technology) \\
{\bf J.~Tiuryn}~(University of Warsaw) \\

{\bf Original contributions} are solicited for TLCA; they should be sent to

\begin{quote}
    Roger Hindley, \\
    Mathematics Department, \\
    University of Wales Swansea, \\
    Swansea SA2 8PP, U.K. \\
    e-mail: j.r.hindley@swansea.ac.uk \\
    fax:    (+)-44-1792-295843
\end{quote}

Electronic submission is preferred (Postscript files only), although hard
copy (6 copies) is also acceptable at the cost of some delay in
communication.

\end{minipage} \hspace{1cm} \begin{minipage}[t]{8.5cm}

Postscript files may be sent as attachments to e-mail messages; Hindley's
e-mail receiving system is Macintosh "Eudora".

Papers should not exceed 15 standard A4 or U.S. quarto pages, should be
clearly written and should allow the program committee to assess the merits
of the work. References and comparisons with related work should be
included.

A short abstract should be sent as an e-mail with the paper; for ease of
transmission it should use only standard ASCII characters.

\smallskip
{\bf Relevant dates:}
\begin{quote}
Deadline for submissions: {\em August 30, 1996;} \\
Authors should receive notification of acceptance by: {\em November 11,
1996;} \\
Definitive versions of papers will be due: {\em December 6, 1996;} \\
Date of conference: {\em April 2 to 4, 1997.}

\end{quote}

The accepted papers will be published as a volume of Springer Lecture Notes
in Computer Science. \\

More detailed information about the conference arrangements will become
available later from the Organizing Committee Chairman and Secretary:

\begin{quote}
 P. de Groote, P. Lescanne, \\
  INRIA Lorraine, \\
  615 rue du Jardin Botanique \\
  B.P. 101 \\
  54602 Villers-les-Nancy Cedex, FRANCE

  e-mail: Philippe.de.Groote@loria.fr \\
\end{quote}

\end{minipage}
\end{document}