[Prev][Next][Index][Thread]
TLCA'95: call for participation
[Since it is clearly relevant, I am distributing this conference
announcement to types. -- Philip Wadler, moderator, Types Forum.]
Please find enclosed the TLCA'95 conference programme, and details
regarding registration for TLCA'95 and associated events. A World Wide
Web page for the conference can be found on http://www.dcs.ed.ac.uk/tlca.
Philippa Gardner
-------------------------------------------------------------------------
The Second International Conference on Typed Lambda Calculi and
Applications (TLCA'95), Edinburgh, Scotland, April 10--12th, 1995.
Call for participation
CONFERENCE PROGRAMME
SUNDAY 9th April
5.00--7.00 Drinks reception and registration at the King's Buildings.
MONDAY 10th April
Morning Session chaired by M. Dezani
Theory of Reduction and Conversion
09.00 Typed lambda-calculi with explicit substitutions may not terminate,
P.A. Mellies
09.30 Comparing lambda-calculus translations in sharing graphs,
A. Asperti, C. Laneve
10.00 Coffee/tea
10.30 Typed operational semantics,
H. Goguen
11.00 An explicit eta rewrite rule,
D. Briaud
11.30 Beta-eta-equality for coproducts,
N. Ghani
12.00 Lunch
Afternoon Session chaired by G. Plotkin
Semantics I
14.00 A fully abstract translation between a lambda-calculus with reference
types and standard ML,
E. Ritter, A.M. Pitts
14.30 Final semantics for untyped lambda-calculus,
F. Honsell, M. Lenisa
15.00 Coffee/tea
Categorical Semantics
15.30 What is a categorical model of intuitionistic linear logic?
G.M. Bierman
16.00 Categorical semantics of the call-by-value lambda-calculus,
A. Pravato, S. Ronchi della Rocca, L. Roversi
16.30 Categorical completeness results for the simply-typed lambda-calculus,
A.K. Simpson
19.00 Reception at the City Chambers
TUESDAY 11th April
Morning Session chaired by H. Barendregt
Type Theory I
09.00 Untyped lambda-calculus with relative typing,
M.R. Holmes
09.30 Basic properties of data types with inequational refinements,
H. Kondoh
10.00 Coffee/tea
10.30 Extensions of pure type systems,
G. Barthe
11.00 A simple calculus of exception handling,
P. de Groote
Proof Theory
11.30 Strict functionals for termination proofs,
J. van de Pol, H. Schwichtenberg
12.00 Lunch
Afternoon Session chaired by F. Honsell
Semantics II
14.00 A simplification of Girard's paradox,
A.J. Hurkens
14.30 A realization of the negative interpretation of the Axiom of Choice,
S. Berardi, M. Bezem, T. Coquand
15.00 Coffee/tea
15.30 A model for formal parametric polymorphism: a PER interpretation of
system R,
R. Bellucci, M. Abadi, P.L. Curien
16.00 Expanding extensional polymorphism,
R. Di Cosmo, A. Piperno
Discussion
16.30 Open Problem Session, H. Barendregt
19.30 Conference Dinner
WEDNESDAY 12th April
Morning Session chaired by J. Smith
Machine Assisted Reasoning I
09.00 A verified typechecker,
R. Pollack
09.30 Higher-order abstract syntax in Coq,
J. Despeyroux, A. Felty, A. Hirschowitz
10.00 Coffee/tea
Type Theory II
10.30 Using subtyping in program optimization,
S. Berardi, L. Boerio
11.00 A simple model for quotient types,
M. Hofmann
11.30 Lambda-calculus, combinators and comprehension systems,
G. Dowek
12.00 Lunch
Afternoon Session chaired by R. Hindley
Machine Assisted Reasoning II
14.00 Extracting text from proof,
Y. Coscoy, G. Kahn, L. Thery
14.30 Termination proof of term rewriting system with the multiset path
ordering and derivation length: a complete development in the
Calculus of Constructions,
F. Leclerc
15.00 Coffee/tea
Decision Problems
15.30 Third-order matching in the presence of type constructors,
J. Springintveld
16.00 On equivalence classes of interpolation equations,
V. Padovani
16.30 Decidable properties of intersection type systems,
T. Kurata, M. Takahashi
PROGRAMME COMMITTEE
H. Barendregt, M. Dezani(Chair), J-Y. Girard, R. Hindley, F.Honsell,
J.W. Klop, G. Longo, A. Meyer, G. Plotkin, P. Scott, J. Smith and
J.Tiuryn.
LOCAL ORGANIZING COMMITTEE
George Cleland, Philippa Gardner, Monika Lekuse and Gordon Plotkin
TLCA'95 CONFERENCE ADDRESS
TLCA'95
Laboratory for Foundations of Computer Science
Department of Computer Science
University of Edinburgh
Edinburgh EH9 3JZ
Scotland
Phone: +44 131 650 5132
Fax: +44 131 667 7209
E-mail: tlca@lfcs.ed.ac.uk
ASSOCIATED EVENTS
There are two associated events which everyone is welcome to attend.
1. On Sunday 9th April, there is a meeting of the Lambda-calculus EC
Network from 9am--5pm. This meeting will consist of short informal
talks (20 minutes) on recent results. The talks will be chosen on a
``first-come first-served'' basis. No registration fee will be
charged, but we ask for a 20 pounds contribution to cover expenses.
There will be a drinks reception at the end of the meeting from
5--7pm. The scientific sites of the Lambda-calculus Network are
Marseille, Cambridge, Chambery, Edinburgh, Lyons, Nijmegen, Paris,
Rome, Torino and Udine.
2. On 13th April, there is a meeting of the EC Jumelage ``Programming
Language Semantics and Program Logics'' from 9am--5pm: programme to be
announced. The cost will be 15 pounds to cover expenses. The sites
of the Jumelage are Genova, Cambridge and Edinburgh.
REGISTRATION
The full registration fee covers coffee breaks, conference dinner,
reception and proceedings, which will be published by Springer-Verlag
in the Lecture Notes in Computer Science series. The student rate does
not include the proceedings and the banquet. The conference will take
place in the Reid Music Hall at Bristo Square, University of
Edinburgh. The registration desk is open the evening before the
conference (5pm--7pm at King's Buildings) and at intervals during the
conference itself. Further instructions will be given with the
acknowledgment for your conference registration. Early registration
and accommodation forms must be received by 10th March 1995. All
cancellations received before 27th March 1995 will incur an
administration charge of 20 pounds, plus any accommodation charges
which are not recoverable. No refunds can be made for cancellations
received after 27th March. Substitutions may be made at any time.
There are additional expenses for the associated events: 20 pounds for
the Lambda-calculus meeting, and 15 pounds for the Jumelage meeting.
REGISTRATION FORM
Please complete and return the following form to the conference
address given above.
The Registration Form
Name:
Affiliation:
Address:
Telephone:
Telefax:
E-mail:
Dietary restrictions:
Cost of Registration:
(early 170 pounds, late 220 pounds, student 110 pounds)
Cost of Accommodation:
(25 pounds per night, details given below)
Lambda-calculus Network Meeting (20 pounds):
Jumelage Meeting (15 pounds):
Total Cost:
Early registration forms must be received by 10th March 1995. All
cancellations received before 27th March 1995 will incur an
administration charge of 20 pounds plus any accommodation charges
which are not recoverable. No refunds can be made for cancellations
received after 27th March. Substitutions may be made at any time.
ACCOMMODATION
We have arranged accommodation at a nearby university campus. It is
basic student accommodation in single rooms. Unfortunately we are
unable to arrange alternative accommodation. If you do not want the
accommodation we have reserved, you can make your own arrangements
with Edinburgh hotels, and bed and breakfast establishments. The
accommodation will be at Pollock Halls, 18 Holyrood Park Road,
University of Edinburgh. This is 20 minutes walk from the Reid Hall,
the site of the conference. Please note that no accommodation is
available at Pollock Halls after Friday morning (14th April). Note
that all accommodation must be paid for in advance. Any form without
the correct payment will be returned. Accommodation is limited, and
applications will be dealt with in order of receipt. While we will do
our best, accommodation cannot be guaranteed for applications received
after 10th March 1995. Special arrangements may be possible for
participants planning to bring partners or family. However,
accommodation of this sort is limited, so please contact us early.
ACCOMMODATION BOOKING FORM
Accommodation is available from Saturday 7th April to Friday 14th
April (not Friday night). The cost of accommodation per night for one
person is 25 pounds. There is no student reduction on accommodation.
Please fill in the details below. Note that all accommodation must be
paid for in advance. Any form without the correct payment will be
returned.
The Accommodation Booking Form
Date of arrival:
Date of departure:
Total number of Nights:
Total Cost:
VENUE
The TLCA'95 conference will be hosted by the University of Edinburgh
in April 1995. Organized by the Laboratory for Foundations of Computer
Science, the conference will be held in the Reid Music Hall at Bristo
Square on the University's main campus in Edinburgh's city centre.
Accommodation is available at nearby student residences. Edinburgh,
the capital of Scotland and one of the world's most enchanting cities,
is located in the east of Scotland on the Firth of Forth, about 400
miles north of London. It is well served by transport: hourly flights
from London, and direct connections to many European cities; Glasgow
airport nearby has connections from many US cities. Edinburgh offers
numerous places of interest including Edinburgh Castle, beautiful old
town houses, the Palace of Holyroodhouse, art galleries, museums, and
the Royal Botanic Gardens. Most of these places are within walking
distance of the city centre or are easily accessible using local
buses. Weather in Scotland is in general unpredictable. Temperatures
in spring can vary between 8 C and 20 C, and there is usually a light
breeze. You are best advised to bring several layers of clothing, as
well as a rainproof jacket or coat.
PAYMENTS
Registration fees and accommodation should be paid by Eurocheque,
cheque or bankdraft (in UK pounds drawn on a British bank), or by
travellers cheques in UK pounds. We cannot accept bank transfers,
credit cards or cheques drawn on non-UK banks or in currencies other
than UK pounds. All payments must be sent in advance to the conference
address given above.
PUBLISHERS' EXHIBITIONS
There will be an exhibition by publishers during the conference.
Please contact the conference address given above for information
about exhibiting.
----------------------------------------------------------------------
\documentstyle{article}
\begin{document}
\begin{center}
{ \Large The Second International Conference on \\
Typed Lambda Calculi and Applications (TLCA'95):\\
Call for Participation\\
Edinburgh\\
April 10--12th, 1995}
\end{center}
Please find enclosed the TLCA'95 conference programme, and details
regarding registration for TLCA'95 and associated events. A World
Wide Web page for the conference can be found on
http://www.dcs.ed.ac.uk/tlca.
\subsection*{Conference Programme}
\noindent {\bf SUNDAY}\\
5.00--7.00 Drinks reception and registration at the King's Buildings.\\
\noindent {\bf MONDAY}\\
Morning session chaired by M.~Dezani\\
{\bf Theory of Reduction and Conversion}
\begin{tabbing}
10.30 \= \kill
9.00 \> {\sl Typed $\lambda$-calculi with explicit substitutions may not
terminate},
P.A.~Mellies\\
9.30 \> {\sl Comparing $\lambda$-calculus translations in sharing graphs},
A.~Asperti, C.~Laneve \\
10.00 \> Coffee/tea\\
10.30 \>
{\sl Typed operational semantics}, H.~Goguen \\
11.00 \> {\sl An explicit $\eta$ rewrite rule}, D. Briaud \\
11.30 \> {\sl $\beta\eta$-equality for coproducts}, N.~Ghani \\
12.00 \> Lunch \\
\end{tabbing}
Afternoon session chaired by G.~Plotkin\\
{\bf Semantics I}
\begin{tabbing}
10.30 \= \kill
2.00 \> {\sl A fully abstract translation between a $\lambda$-calculus
with reference types and standard ML},\\
\> E.~Ritter, A.M.~Pitts\\
2.30 \> {\sl Final semantics for untyped $\lambda$-calculus}, F.~Honsell,
M.~Lenisa \\
3.00 \> Coffee/tea \\
\end{tabbing}
{\bf Categorical Semantics}
\begin{tabbing}
10.30 \= \kill
3.30 \> {\sl What is a categorical model of intuitionistic linear logic?}
G.M.~Bierman \\
4.00 \> {\sl Categorical semantics of the call-by-value
$\lambda$-calculus},
A.~Pravato, S.~Ronchi della Rocca, \\
\> L.~Roversi\\
4.30 \> {\sl Categorical completeness results for the simply-typed
$\lambda$-calculus}, A.K.~Simpson \\
\end{tabbing}
\newpage
\noindent {\bf TUESDAY}\\
Morning session chaired by H.~Barendregt\\
{\bf Type Theory I}
\begin{tabbing}
10.30 \= \kill
9.00 \> {\sl Untyped $\lambda$-calculus with relative typing},
M.R.~Holmes\\
9.30 \> {\sl Basic properties of data types with inequational refinements},
H.~Kondoh \\
10.00 \> Coffee/tea\\
10.30 \> {\sl Extensions of pure type systems},
G.~Barthe\\
11.00 \> {\sl A simple calculus of exception handling}, P.~de Groote
\end{tabbing}
{\bf Proof Theory}
\begin{tabbing}
10.30.\= \kill
11.30 \> {\sl Strict functionals for termination proofs},
J.~van de Pol, H.~Schwichtenberg \\
12.00 \> Lunch
\end{tabbing}
Afternoon session chaired by F.~Honsell\\
{\bf Semantics II}
\begin{tabbing}
10.30\= \kill
2.00 \> {\sl A simplification of Girard's paradox}, A.J.~Hurkens\\
2.30 \> {\sl A realization of the negative interpretation of the Axiom of
Choice}, S.~Berardi, \\
\> M.~Bezem, T.~Coquand\\
3.00 \> Coffee/tea\\
3.30 \> {\sl A model for formal parametric polymorphism: a PER
interpretation of system $\cal R$}, \\
\> R.~Bellucci, M.~Abadi, P.L.~Curien\\
4.00 \> {\sl Expanding extensional polymorphism}, R.~Di Cosmo,
A.~Piperno
\end{tabbing}
{\bf Discussion}
\begin{tabbing}
10.30 \= \kill
4.30 \> Open Problem Session, H. Barendregt\\
\end{tabbing}
{\bf WEDNESDAY}\\
Morning session chaired by J.~Smith.\\
{\bf Machine Assisted Reasoning I}
\begin{tabbing}
10.30 \= \kill
9.00
\> {\sl A verified typechecker},
R.~Pollack\\
9.30
\> {\sl Higher-order abstract syntax in Coq},
J.~Despeyroux, A.~Felty, A.~Hirschowitz\\
10.00 \> Coffee/tea
\end{tabbing}
{\bf Type Theory II}
\begin{tabbing}
10.30 \= \kill
10.30
\> {\sl Using subtyping in program optimization},
S.~Berardi, L.~Boerio\\
11.00
\> {\sl A simple model for quotient types}, M.~Hofmann\\
11.30
\> {\sl $\lambda$-calculus, combinators and comprehension systems},
G.~Dowek\\
12.00 \> Lunch
\end{tabbing}
\newpage
\noindent Afternoon session chaired by R.~Hindley\\
{\bf Machine Assisted Reasoning II}
\begin{tabbing}
10.30\= \kill
2.00 \> {\sl Extracting text from proof}, Y.~Coscoy, G.~Kahn, L.~Thery\\
2.30 \> {\sl Termination proof of term rewriting system with the multiset path
ordering and} \\
\> {\sl derivation length: a complete development in the Calculus of
Constructions}, F.~Leclerc\\
3.00 \> Coffee/tea\\
\end{tabbing}
{\bf Decision Problems}
\begin{tabbing}
10.30\= \kill
3.30
\> {\sl Third-order matching in the presence of type constructors}, J.~Springintveld\\
4.00
\> {\sl On equivalence classes of interpolation equations}, V.~Padovani\\
4.30
\> {\sl Decidable properties of intersection type systems},
T.~Kurata, M.~Takahashi\\
\end{tabbing}
\subsection*{Programme Committee}
H.~Barendregt, M. Dezani~(Chair), J-Y.~Girard, R.~Hindley, F.~Honsell,
J.~W.~Klop, G.~Longo, A.~Meyer, G.~Plotkin, P.~Scott, J.~Smith and J.~Tiuryn.
\subsection*{Local Organizing Committee}
George Cleland, Philippa Gardner, Monika Lekuse and Gordon Plotkin.
\subsection*{TLCA'95 Conference Address}
\begin{tabular}{l}
TLCA'95\\
Laboratory for Foundations of Computer Science\\
Department of Computer Science\\
University of Edinburgh\\
Edinburgh, EH9 3JZ\\
Scotland\\
Phone: +44 131 650 5132 \\
Fax: +44 131 667 7209\\
Email: tlca@lfcs.ed.ac.uk
\end{tabular}
\subsection*{Associated Events}
There are two associated events which everyone is welcome to attend.
\begin{enumerate}
\item On Sunday~9th April, there is a meeting of the $\lambda$-calculus EC
Network from 9am--5pm. This meeting will consist of short informal
talks (20~minutes) on recent results. The talks will be chosen on a
``first-come first-served'' basis. No registration fee will be
charged, but we ask for a 20 pounds contribution to cover
expenses. There will be a drinks reception at the end of the meeting
from 5pm--7pm. The scientific sites of the $\lambda$-calculus Network
are Marseille, Cambridge, Chambery, Edinburgh, Lyons, Nijmegen, Paris, Rome,
Torino and Udine.
\item On 13th~April, there is a meeting of the EC Jumelage
``Programming Language Semantics and Program Logics'' from 9am--5pm:
programme to be announced. The cost will be \pounds 15 to cover
expenses. The sites of the Jumelage are Genova, Cambridge and
Edinburgh.
\end{enumerate}
\subsection*{Registration}
The full registration fee covers coffee breaks, conference dinner,
reception and proceedings, which will be published by Springer-Verlag
in the Lecture Notes in Computer Science series. The student rate does
not include the proceedings and the banquet. The conference will take
place in the Reid Music Hall at Bristo Square, University of
Edinburgh. The registration desk is open the evening before the
conference (5pm--7pm at the King's Buildings) and at intervals during
the conference itself. Further information will be given with the
acknowledgment for your conference registration. Early registration
and accommodation forms must be received by 10th March 1995. All
cancellations received before 27th March 1995 will incur an
administration charge of \pounds 20, plus any accommodation charges
which are not recoverable. No refunds can be made for cancellations
received after 27th March. Substitutions may be made at any time.
\vspace{.1cm}
\noindent There are additional expenses for the associated events:
\pounds 20 for the $\lambda$-calculus meeting and \pounds 15 for the Jumelage
meeting.
\subsection*{Registration Form}
Please complete and return the following form to the conference
address given above. Registration, but not payment, is also possible
via the World Wide Web.
\newpage
\begin{center}
The Registration Form
\end{center}
\begin{tabular}{l}
Name: \\
Affiliation:\\
Address:\\
Telephone:\\
Telefax:\\
Email:\\
Dietary restrictions:\\
\\
Cost of Registration
(early \pounds 170, late \pounds 220, student \pounds 110) : \\
\\
Cost of Accommodation (\pounds 25 per night, details given below):\\
\\
$\lambda$-calculus Network meeting (\pounds 20): \\
If you would like to give a talk at this meeting, please enclose a title. \\
\\
Jumelage Meeting (\pounds 15): \\
\\
Total Cost: \\
\end{tabular}
Early registration forms must be received by 10th March 1995. All
cancellations received before 27th March 1995 will incur an
administration charge of \pounds 20, plus any accommodation charges
which are not recoverable. No refunds can be made for cancellations
received after 27th March. Substitutions may be made at any time.
\subsection*{Accommodation}
We have arranged accommodation at a nearby university campus. It is
basic student accommodation in single rooms. Unfortunately we are
unable to arrange alternative accommodation. If you do not want the
accommodation we have reserved, you can make your own arrangements
with Edinburgh hotels, and bed and breakfast establishments. Details
can be found on the World Wide Web. The accommodation will be at
Pollock Halls, 18 Holyrood Park Road, University of Edinburgh. This is
20 minutes walk from the Reid Hall, the site of the conference. Please
note that no accommodation is available at Pollock Halls after Friday
morning (14th April). Note that all accommodation must be paid for in
advance. Any form without the correct payment will be returned.
Accommodation is limited, and applications will be dealt with in order
of receipt. While we will do our best, accommodation cannot be
guaranteed for applications received after 10th March 1995. Special
arrangements may be possible for participants planning to bring
partners or family. However, accommodation of this sort is limited, so
please contact us early.
\subsection*{Accommodation Booking Form}
Accommodation is available from Saturday~8th April to Friday~14th
April (not Friday night). The cost of accommodation per night for one
person is \pounds 25. There is no student reduction on accommodation.
Please fill in the form below. Note that all accommodation must be
paid for in advance. Any form without the correct payment will be
returned.
\begin{center}
Accommodation Booking Form
\end{center}
\begin{tabular}{l}
Date of arrival: \\
Date of Departure: \\
Total number of Nights:\\
Total Cost:\\
\end{tabular}
\subsection*{Venue}
The TLCA'95 conference will be hosted by the University of Edinburgh
in April 1995. Organized by the Laboratory for Foundations of Computer
Science, the conference will be held in the Reid Music Hall at Bristo
Square, on the University's main campus in Edinburgh's city centre.
Edinburgh,
the capital of Scotland and one of the world's most enchanting cities,
is located in the east of Scotland on the Firth of Forth, about 400
miles north of London. It is well served by transport: hourly flights
from London, and direct connections to many European cities; Glasgow
airport nearby has connections from many US cities. Edinburgh offers
numerous places of interest including Edinburgh Castle, beautiful old
town houses, the Palace of Holyroodhouse, art galleries, museums, and
the Royal Botanic Gardens. Most of these places are within walking
distance of the city centre or are easily accessible using local
buses. Weather in Scotland is in general unpredictable. Temperatures
in spring can vary between 8 C and 20 C, and there is usually a light
breeze. You are best advised to bring several layers of clothing, as
well as a rainproof jacket or coat.
\subsection*{Payments}
Registration fees and accommodation should be paid by Eurocheque,
cheque or bankdraft (in UK pounds drawn on a British bank), or by
travellers cheques in UK pounds. We cannot accept bank transfers,
credit cards or cheques drawn on non-UK banks or in currencies other
than UK pounds. All payments must be sent in advance to the conference
address given above.
\subsection*{Publishers' Exhibitions}
There will be an exhibition by publishers during the conference.
Please contact the conference address given above for information
about exhibiting.
\end{document}