[Prev][Next][Index][Thread]
TLCA'97 call for participation
----------------------------------------------------------------------------
- preliminary call for participation - preliminary call for participation -
----------------------------------------------------------------------------
TTTTTTTTTT LLLL CCCCC AAA
T TT T LL CC C A A
TT LL CC AA AA
TT LL CC A A
TT LL CC AAAAAAA
TT LL CC A A
TT LL L CC C AA AA
TTTT LLLLLLLLL CCCCC AAA AAA
----------------------------------------------------------------------------
- TLCA'97 - TLCA'97 - TLCA'97 - TLCA'97 - TLCA'97 - TLCA'97 - TLCA'97 -
----------------------------------------------------------------------------
3rd International Conference on
TYPED LAMBDA CALCULI AND APPLICATIONS
April 2-3-4, 1997
NANCY FRANCE
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.
PROGRAMME COMMITTEE
-------------------
H. Barendregt C. Bohm
M. Dezani G. Dowek
R. Hindley (Chair) F. Honsell
P. Lescanne A. Pitts
P. Scott J. Smith
M. Takahashi J. Tiuryn
ORGANISING COMITTEE
-------------------
Z.E.A Benaissa D. Briaud
A.-L. Charbonnier Ph. de Groote (Chair)
P. Lescanne A. Savary
TLCA'97 is jointly organised by Inria-Lorraine and CRIN-CNRS
INVITED SPEAKER
---------------
P. Martin-Lof,
"The Problem of Impredicativity"
CONTRIBUTED PAPERS
------------------
* Session 1:
Pawel URZYCZYN (Univ. of Warsaw, Poland),
"Inhabitation in typed lambda-calculi (a syntactic approach)"
Judica\"el COURANT (LIP-CNRS, Lyon, France),
"A module calculus for Pure Type Systems"
Izumi TAKEUTI (Tokyo Metropolitan Univ., Japan),
"An axiomatic system of parametricity"
* Session 2:
Torben BRAUNER (BRICS, Aarhus, Denmark),
"A simple adequate categorical model for PCF"
Masahito HASEGAWA (LFCS, Edinburgh, Scotland),
"Recursion from cyclic sharing: traced monoidal categories
and models of cyclic lambda calculi"
Gianna BELLE and Eugenio MOGGI (Univ. di Genova, Italy),
"Typed intermediate languages for shape-analysis"
* Session 3:
Hongwei XI (Carnegie-Mellon Univ., Pittsburgh, USA),
"Weak and strong normalisations in typed lambda-calculi"
Jan MALOLEPSZY, Malgorzata MOCZURAD and Marek ZAIONC
(Jagiellonian Univ., Cracow, Poland),
"Schwichtenberg-style lambda definability is undecidable"
Yohji AKAMA (Univ. of Tokyo, Japan),
"A lambda-to-CL translation for strong normalization"
* Session 4:
Antonio BUCCIARELLI (Univ. di Roma ``La Sapienza'', Italy),
"Logical reconstruction of bi-domains"
Marina LENISA (Univ. Udine, Italy),
"Semantic techniques for deriving coinductive characterizations of
observational equivalences for lambda-calculi"
Toshihiko KURATA (Tokyo Institute of Technology, Japan),
"A type-theoretical view of B\"{o}hm-trees"
* Session 5:
Femke van RAAMSDONK (CWI, Amsterdam, The Netherlands),
"Outermost-fair rewriting"
Stephano GUERRINI, Simone MARTINI and Andrea MASINI
(Univ. di Pisa, Italy),
"Proof nets, garbage and computations"
Christian RETORÉ (INRIA-Lorraine, Nancy, France),
"Pomset logic: a non-commutative extension of classical linear logic."
* Session 6:
Ferruccio DAMIANI and Paola GIANNINI (Univ. di Torino, Italy),
"An inference algorithm for strictness"
Stefano BERARDI and Luca BOERIO (Univ. di Torino, Italy),
"Minimum information code in a pure functional language with
data types"
Michael BRANDT and Fritz HENGLEIN (DIKU, Univ. of Copenhagen, Denmark),
"Coinductive axiomatization of recursive type equality and subtyping"
* Session 7:
Ian STARK (BRICS, Aarhus, Denmark),
"Names, equations, relations: practical ways to reason about `new'"
Viviana BONO (Univ. di Padova, Italy)
and Michele BUGLIESI (Univ. di Torino, Italy),
"Matching constraints for the lambda calculus of objects"
Hugo HERBELIN (Univ. Nanterre, France),
"Games and weak head reduction for lambda-calculus + catch"
* Session 8:
Neil GHANI (Ecole Normale Supérieure, Paris),
"Eta-expansions in dependent type theory -- the calculus of
constructions"
Harald RUESS (Univ. Ulm, Germany),
"Computational reflection in the calculus of constructions
and its application to theorem proving"
Joelle DESPEYROUX (INRIA, Sophia Antipolis, France), Frank PFENNING
and Carsten SCHUERMANN (Carnegie-Mellon Univ., Pittsburgh, USA),
"Primitive recursion for higher-order abstract syntax"
LOCATION
--------
Nancy, which is the capital of the french department "Meurthe et Moselle",
is easily accessible from Paris (Gare de l'Est) by train in three hours.
There are also direct trains from Strasbourg, Luxembourg and Dijon. The
nearest international airports are the ones of Paris, Strasbourg, and
Luxembourg.
The TLCA conference will take place in the Congress Hall ("Palais des
Congres") of Nancy, downtown:
Palais des Congres de Nancy
rue du Grand Rabbin Haguenauer
54000 Nancy
FRANCE
REGISTRATION
------------
The registration fees for the conference are the following:
Before March 1 After March 1
Regular : 1200 FRF 1500 FRF
Student : 800 FRF 1500 FRF
Both regular and student fees include the conference proceedings,
the coffee breaks, the welcome reception (April 2), and the conference
dinner (April 3). Tickets for additional conference dinners (for
accompanying persons) can be purchased at 200 FRF.
You may register by surface mail, fax, or e-mail. Please fill in the
enclosed registration form and send it to:
INRIA-Lorraine
Bureau des Relations Exterieures - TLCA'97
615 rue du jardin botanique, B.P. 101
F 54602 Villers-les-Nancy Cedex
FRANCE
Fax (internat.): + 33 3 83 27 83 19
(nat.): 03 83 27 83 19
E-mail: RE@loria.fr
PAYMENTS
--------
Payments are accepted in FRENCH FRANCS ONLY. The enclosed payment
may be one of the following forms:
- Cheque in french currency, drawn on a french bank, made to the order
of "Agent comptable de l'INRIA";
- Eurocheque in french currency, made to the order of "Agent comptable
de l'INRIA";
- bank transfer to the order of "Agent comptable de l'INRIA" (with your
name and TLCA'97); the bank account number is:
10071-78000-00003003958-80
at the bank "Tresorerie Generale des Yvelines".
Please ask your bank to arrange a transfer at no cost for the
beneficiary.
You may also pay the registration fee by credit card at the moment
of the conference.
ACCOMMODATION
-------------
Hotel rooms ranging from one to three star hotels are available.
For a reservation, please fill in the enclosed accomodation form and
send it to:
Wagonlit Travel
2, rue Raymond Poincare
F 54000 Nancy
FRANCE
The price ranges are the following:
Hotel Category Price
* 220 FRF -- 245 FRF
** 285 FRF -- 330 FRF
*** 320 FRF -- 350 FRF
The number of available one-star rooms is limited. Hotel reservation is
only possible by a credit card.
-----------------------------------------------------------------------
REGISTRATION FORM
-----------------------------------------------------------------------
Please Print
Name: .............................. First name: .....................
Affiliation: .........................................................
Address: .............................................................
.............................................................
Zip code: .......................... Country: ........................
Tel: ............................... Fax: ............................
E-mail: ..............................................................
Please tick the appropriate box:
o I apply for the student rate (copy of the card enclosed) 800 FRF
o I pay the regular fee 1200 FRF
o I pay the late registration fee 1500 FRF
o I wish to purchase one additional ticket for the 200 FRF
conference dinner
TOTAL AMOUNT: ........ FRF
Mode of payment (Please tick the appropriate box):
o Enclosed cheque
o Bank transfer (please enclose a photocopy of the transfer order)
o Credit card: Type: o VISA o MasterCard
Cardholder's name:....................................
Expiration date:......................................
(Nota: you do not need to send your credit card number, your card
will be charged at the moment of the conference.)
Date:.............. Signature: ......................................
-----------------------------------------------------------------------
HOTEL RESERVATION FORM (best return before march 15)
-----------------------------------------------------------------------
Please Print
Name: .............................. First name: .....................
Affiliation: .........................................................
Address: .............................................................
.............................................................
Zip code: .......................... Country: ........................
Tel: ............................... Fax: ............................
Accompanied by Mr/Ms .................................................
Please tick the appropriate box:
Hotel category: o *
o **
o ***
Type of room: o single room
o double room (two persons - double bed)
o twin bedroom (two persons - two beds)
Date of arrival in Nancy .......................... time .............
Date of departure .......................... i.e. ............. nights
Credit card: o VISA o MasterCard
Card number: ...........................................
Cardholder's name: .....................................
Expiration: ............................................
Date:.............. Signature: .......................................