[Prev][Next][Index][Thread]
Program of TLCA'93
Summary: The final program of TLCA93 and some general
information on how to participate.
-----------------------------------------------------------------------
International Conference on Typed Lambda Calculi and Applications
TLCA
TLCA, the international conference on Typed Lambda Calculi and Applications
will be held March 16-18, 1993 in Utrecht The Netherlands.
The conference location will be:
Koninklijke Jaarbeurs
Congres- en Vergadercentrum
Jaarbeursplein
Utrecht
The conference aims at providing a forum for the presentation and discus-
sion 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 consist of 29 selected presentations, to be presented
in plenary sessions. The program committee, chaired by H. Barendregt,
consists of:
H. Barendregt (Catholic University Nijmegen)
T. Coquand (Chalmers Tekniska Hogskola)
M. Dezani (Universita di Torino)
G. Huet (INRIA)
M. Hyland (Cambridge University)
J.W. Klop (CWI)
J.C. Mitchell (Stanford University)
R. Nederpelt (Eindhoven University of Technology)
H. Schwichtenberg (University Munchen)
R. Statman (Carnegie Mellon University)
The TLCA proceedings will be published by Springer verlag in their LNCS-
series, and will be available at the conference.
Participants of TLCA are welcome to attend the symposium on the occasion of
Dirk van Dalen's 60th birthday on March 15. Invited speakers include J.-Y.
Girard, D.S. Scott, R. Statman and A.S. Troelstra.
===========================================================================
PROGRAM
===========================================================================
Tuesday 16 March
09.00 - 09.45 Registration
09.45 - 10.00 Opening of TLCA
SEMANTICS OF TYPE SYSTEMS
10.00 - 10.30 Semantics of lambda-I and of other substructure lambda
calculi
B. Jacobs
10.30 - 11.00 A semantics for lambda&-early: a calculus with overloading
and early binding
G. Castagna, G. Ghelli, G. Longo
11.00 - 11.30 Break
PROOF VERIFICATION
11.30 - 12.00 A formalization of the strong normalization proof for
system F in LEGO
Th. Altenkirch
12.00 - 12.30 The meta-theory of pure type systems
J. McKinna, R. Pollack
12.30 - 14.00 Lunch
TYPABILITY
14.00 - 14.30 Type reconstruction in Fomega is undecidable
P.Urzyczyn
14.30 - 15.00 Lower and upper bounds for reductions of types in lambda-
omega and lambaP
J. Springintveld
15.00 - 15.30 The undecidability of typability in the lambdaII-calculus
G. Dowek
15.30 - 16.00 Break
TYPE SYSTEMS FOR PROGRAMMING LANGUAGES
16.00 - 16.30 A logic for parametric polymorphism
G. Plotkin, M. Abadi, L. Cardelli
16.30 - 17.00 Combining recursive and dynamic types
H. Leiss
17.00 Drinks
===========================================================================
Wednesday 17 March
TYPED TERM REWRITING SYSTEMS
09.30 - 10.00 Orthogonal higher-order rewrite systems are confluent
T. Nipkow
10.00 - 10.30 Partial intersection type assignment in applicative term
rewriting systems
S. van Bakel
10.30 - 11.00 Combining first and higher order rewrite systems with type
assignment systems
F. Barbanera, M. Fernandez
11.00 - 11.30 Break
THEORY OF TYPE SYSTEMS
11.30 - 12.00 On Mints' reduction for ccc-calculus
Y. Akama
12.00 - 12.30 Lambda calculi with conditional rules
M. Takahashi
12.30 - 14.00 Lunch
SEMANTICS OF TYPE SYSTEMS
14.00 - 14.30 Monotonic versus antimonotonic exponentiation
D.F. Otth
14.30 - 15.00 Studying the fully abstract model of PCF within its
continuous function model
A. Jung, A. Stoughton
15.00 - 15.30 Modified realizability semantics and strong normalization
Proofs
J.M.E. Hyland, C.-H.L. Ong
15.30 - 16.00 Break
LOGIC AND TYPE SYSTEMS
16.00 - 16.30 Translating dependent type theory into higher order logic
B. Jacobs, T. Melham
16.30 - 17.00 A term calculus for intuitionistic linear logic
N. Benton, G. Bierman, V. de Paiva, M. Hyland
19.00 Conference Dinner
===========================================================================
Thursday 18 March
PROGRAM EXTRACTION AND MODELS OF COMPUTATION
09.30 - 10.00 Program extraction from normalization proofs
U. Berger
10.00 - 10.30 Extracting constructive content from classical logic via
control-like reductions
F. Barbanera, S. Berardi
10.30 - 11.00 Lambda calculus characterizations of poly-time
D. Leivant
11.00 - 11.30 Break
TYPE SYSTEMS FOR PROGRAMMING LANGUAGES
11.30 - 12.00 Bounded quantification and intersection types
B.C. Pierce
12.00 - 12.30 Recursive types are not conservative over F2
G. Ghelli
12.30 - 14.00 Lunch
THEORY OF TYPE SYSTEMS
14.00 - 14.30 Inductive definitions in the system Coq; rules and
properties
Chr. Paulin-Mohring
14.30 - 15.00 An abstract notion of application
P. Di Gianantonio, F. Honsell
15.00 - 15.30 The conservation theorem revisited
Ph. de Groote
15.30 - 16.00 Break
SEMANTICS OF TYPE SYSTEMS
16.00 - 16.30 Call-by-value and nondeterminism
K. Sieber
16.30 - 17.00 A new characterization of lambda definability
A. Jung, J. Tiuryn
===========================================================================
LOCATION AND TRAVEL
Utrecht is one of the major cities in the Netherlands and is generally
considered an ideal place for convening, due to its central location,
optimal meeting facilities and easy accessibility. The city is within easy
distance of Amsterdam international airport and has excellent connections
to all major cities in the Netherlands.
Amsterdam airport is served by most international carriers and linked
directly to over a hundred cities worldwide. Getting to Utrecht from
Amsterdam airport is best done by taking a (frequent) train to Amsterdam
central station and change to a (very frequent) train to Utrecht there.
TLCA will be held in the meeting center of the Royal Dutch Fair
(Jaarbeurs), located in the city's center.
At the time of TLCA weather is quite unpredictable with average
temperatures in the 8-12 C range and occasional showers.
SOCIAL EVENTS
On Tuesday 16 March drinks will be served after the sessions in the meeting
center.
A conference dinner will be served on Wednesday 17 March. All lunches will
be served in the meeting center.
REGISTRATION AND ACCOMMODATION
Register for TLCA using the registration form. (E)Mail or fax this to the
conference secretariat.
For booking hotelaccomodation use the Hotel reservation form which is to be
sent to:
VVV Utrecht Hotelreservations
P.O. Box 19107
3501 DC Utrecht
The Netherlands
Fax: +31-30-331417
Tel. +31-30-331544
Make sure that your hotel booking is done before 20 january 1993 as rooms
will be in limited supply at the time of TLCA.
REGISTRATION FEES
The registration fee covers attendance in all sessions, a copy of the
proceedings, all breaks, lunches and social events.
The regular fee is NLG 475.-- for registrations made through 1 February
1993 and 550 NLG for registrations after 1 February 1993.
No reimbursement of the registration fee will be made for cancellations
received after March 10 1993. Cancellations received earlier will be
reimbursed less NLG 50 administrative charges.
PAYMENTS
All payments, net of all charges, are to be made in Dutch Guilders (NLG)
and can be made by either
1. Banker's draft (bank check), made payable to "St. Wiskunde en
Informatica Congressen" and mailed to the TLCA secretariat
2. Money transfer to account #3135.57977 of "St. Wiskunde en
Informatica Congressen" at the RABO Bank, Middenweg 88 Amsterdam
(postal giro of bank is 187744)
Make sure TLCA and your name are mentioned. Personal and company checks
cannot be accepted.
CONFERENCE SECRETARIAT
Mrs. Anna Baanders
CWI
P.O. Box 4079
1009 AB Amsterdam
The Netherlands
Tel. +31-20-5924048/4173/4171
Fax. +31-20-5924199
Email anna@cwi.nl
===========================================================================
REGISTRATION FORM
Please type or print
Name (last)____________________________ (first)____________________________
Affiliation________________________________________________________________
Address____________________________________________________________________
Postal Code_____________________ City______________________________________
Country____________________________________________________________________
Email_______________________________ Fax___________________________________
Telephone__________________________________________________________________
Special Requests___________________________________________________________
___________________________________________________________________________
registers for TLCA 1993.
[] I enclose a banker's draft
[] I transferred the registration fee to your bankaccount
_____________________, _____/_____/ 19___, _______________
(signature)
Mail to: TLCA Secretariat
CWI/Mrs. Anna Baanders
P.O. Box 4079
NL 1009 AB Amsterdam
===========================================================================
HOTEL RESERVATION FORM
Please reserve for _____ person(s):
_____ single room(s) with/without private bath/shower/toilet
_____ double room(s) with/without private bath/shower/toilet
___________________________________________________________________________
Name :_____________________________________________
Address :__________________________________________
City :___________________________________________
Country :__________________________________________
Fax :____________________________________________
___________________________________________________________________________
arrival:____/_____/___ departure:_____/____/________
___________________________________________________________________________
Price Categories (please tick the appropriate box)
All prices are stated in Dutch Guilders (NLG)
Single room Double room
[] 175/255 [] 225/295
[] 115/165 [] 150/200
[] 75/110* [] 110/140
[] 50/70* [] 70/100
___________________________________________________________________________
In the event of overbookings in the selected category, please book
[] In an adjacent category
[] Outside Utrecht
___________________________________________________________________________
Send this form before 20 January 1993 to:
VVV Utrecht
Hotelreserveringen
Postbus 19107
3501 DC Utrecht
The Netherlands
Fax +31-30-331417
Tel. +31-30-331544
Upon receipt of this form you will receive a provisional confirmation of
reservation. Note that the reservation has to be paid in full in advance in
order to be effective.
_______________
* in very limited supply