[Prev][Next][Index][Thread]
Second call for papers, TLCA
[Since it is clearly relevant, I am distributing this conference
announcement to types. General conference announcements should go to
the Theory-A list: send announcements or requests to subscribe to
THEORY-A@VM1.NoDak.EDU. -- Philip Wadler, moderator, Types Forum.]
Second Call for Papers, TLCA
International Conference on Typed Lambda Calculi and Applications
April 10--12, 1995, Edinburgh, Scotland
The second international conference on Typed Lambda Calculi and
Applications will be held April 10--12, 1995, at Edinburgh in Scotland.
The conference aims at providing a forum for the presentation and
discussion of recent research in the following areas:
Proof theory of type systems
Logic and type systems
Typed lambda calculi as models of (higher order) computation
Semantics of type systems
Proof verification via type systems
Type systems of programming languages
Typed term rewriting systems
The program of TLCA will consist of about 30 selected presentations in
plenary sessions. The program committee for TLCA is chaired by
M. Dezani and has the following members:
H. Barendregt (Catholic University of Nijmegen)
M. Dezani (Chairperson, University of Turin)
J-Y. Girard (University of Marseilles)
R. Hindley (University of Swansea)
F. Honsell (University of Udine)
J. W. Klop (CWI)
G. Longo (ENS)
A. Meyer (MIT)
G. Plotkin (University of Edinburgh)
P. Scott (University of Ottawa)
J. Smith (University of Gothenburg/Chalmers)
J. Tiuryn (University of Warsaw)
Call for Papers
Original contributions are solicited for TLCA; they should be sent to the
conference secretariat. Electronic submission (PostScript only) is
preferred; hard copy (6 copies required) will also be accepted. Papers
should be clearly written and allow the program committee to assess the
merits of the work. References and comparisons with related work
should be included. Papers should not exceed 15 standard pages and
should be accompanied by a one-page abstract. The deadline for
submissions is September 8, 1994. Authors will receive notification of
acceptance by November 12, 1994. Definitive versions of papers will
be due December 15, 1994.
Proceedings
It is intended to publish the accepted papers as a volume of the Springer
Verlag Lecture Notes in Computer Science series.
Organizing Committee
G. Cleland, P. Gardner, M. Lekuse, G. Plotkin (University of
Edinburgh)
Important Dates
Sept. 8, 1994 Deadline for submissions
Nov. 12, 1994 Notification of acceptance
Dec. 15, 1994 Final version of paper
April 10, 1995 TLCA
TLCA Secretariat
TLCA Secretariat
Professor M. Dezani
Universita di Torino
Dipartimento di Informatica
Corso Svizzera, 185
10149 Torino
ITALY
Tel: 39-11-7429232 Fax: 39-11-751603
Email: dezani@di.unito.it
Lambda-Calculus Network Meeting
Participants of TLCA are welcome to attend a Lambda-Calculus
Network Meeting to be held immediately before the conference.
------------------------------------------------------------
\documentstyle{article}
\parindent 0cm
\pagestyle{empty}
\textwidth 18cm
\textheight 28cm
\topmargin -2.5cm
\oddsidemargin -1.2cm
\evensidemargin 0cm
\begin{document}
\begin{center}
{\LARGE Second Call for Papers} \end{center}
\smallskip
\begin{center}
{\Huge Second International Conference on}
\end{center}
\begin{center}
{\Huge Typed Lambda Calculi and Applications}
\end{center}
\begin{center}
{\Huge TLCA}
\end{center}
\smallskip
\begin{center}
{\Large April 10--12, 1995, Edinburgh, Scotland}
\end{center}
\bigskip
The second international conference on Typed Lambda
Calculi and Applications will be held
April 10--12, 1995, at Edinburgh in
Scotland. The conference aims at providing a forum
for the presentation and discussion of recent
research in the following areas:\vspace{-1cm}
\begin{itemize}\begin{center}
\item[] \bf Proof theory of type systems \\
\item[] \bf Logic and type systems \\
\item[] \bf Typed lambda calculi as models of
(higher order) computation \\
\item[] \bf Semantics of type systems \\
\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 Program}
\smallskip
The program of TLCA will consist of about 30
selected presentations in plenary sessions.
The program committee for TLCA is
chaired by M.~Dezani and has the following
members: \smallskip
{\bf H.~Barendregt}~(Catholic University of Nijmegen) \\
{\bf M.~Dezani}~(Chairperson, University of Turin) \\
{\bf J-Y.~Girard}~(University of Marseilles) \\
{\bf R.~Hindley}~(University of Swansea) \\
{\bf F.~Honsell}~(University of Udine) \\
{\bf J.~W.~Klop}~(CWI) \\
{\bf G.~Longo}~(ENS) \\
{\bf A.~Meyer}~(MIT) \\
{\bf G.~Plotkin}~(University of Edinburgh) \\
{\bf P.~Scott}~(University of Ottawa) \\
{\bf J.~Smith}~(University of Gothenburg/Chalmers) \\
{\bf J.~Tiuryn}~(University of Warsaw) \\ \smallskip
{\large \bf Call for Papers}
\smallskip
Original contributions are solicited for TLCA;
they should be sent to the conference secretariat.
Electronic submission (PostScript only) is
preferred; hard copy (6 copies required) will
also be accepted. Papers should be clearly written
and allow the program committee to assess the
merits of the work. References and comparisons
with related work should be included.
Papers should not exceed 15 standard pages and
should be accompanied by a one-page abstract.
The deadline for submissions is September 8, 1994.
Authors will receive notification of acceptance by
November 12, 1994. Definitive versions of papers
will be due December 15, 1994.
\end{minipage} \hspace{1cm} \begin{minipage}[t]{8.5cm}
{\large \bf Proceedings}
\smallskip
It is intended to publish the accepted papers as a
volume of the Springer Verlag Lecture Notes in Computer
Science series.\smallskip\\
{\large \bf Organizing Committee}
\smallskip
{\bf G.~Cleland, P.~Gardner, M.~Lekuse,
G.~Plotkin} \\(University of Edinburgh) \\
{\large \bf Important Dates}
\smallskip
\vspace{-0.25cm}\begin{tabbing}
abcdefghijklmnop\=abcdefghijklmnop\kill
Sept. 8, 1994
\>Deadline for submissions \\
Nov. 12, 1994
\>Notification of acceptance \\
Dec. 15, 1994
\>Final version of paper \\
April 10, 1995
\>TLCA
\end{tabbing}
\vspace{0.1cm}\smallskip
{\large \bf TLCA Secretariat}
\smallskip
TLCA Secretariat \\
Professor M.~Dezani \\
Universit\'{a} di Torino \\
Dipartimento di Informatica \\
Corso Svizzera, 185\\
10149 Torino \\
ITALY\\
Tel: 39-11-7429232~~Fax: 39-11-751603\\
Email: dezani@di.unito.it \\
{\large \bf $\lambda$-Calculus Network Meeting}
\smallskip
Participants of TLCA are invited to attend a
$\lambda$-Calculus Network Meeting to be held
in the weekend before the conference.
\end{minipage}
\end{document}