[Prev][Next][Index][Thread]
TLCA call for participation
-
To: dbworld@cs.wisc.edu, gulp@di.unipi.it, idss@socs.uts.EDU.AU, igpl@doc.ic.ac.uk, linear@CS.Stanford.EDU, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, lpnmr@cs.engr.uky.edu, lprolog@central.cis.upenn.edu, mlnet@swi.psy.uva.nl, theorem-provers@ai.mit.edu, AMI-TOUS@litp.ibp.fr, gdr-prog@geocub.greco-prog.fr, eapls@mailbase.ac.uk, lics@research.bell-labs.com, rewrite-list@loria.fr, lcs@saul.cis.upenn.edu, isabelle-users@cl.cam.ac.uk, lpca@loria.fr, degroote@loria.fr
-
Subject: TLCA call for participation
-
From: Philippe de Groote <Philippe.deGroote@loria.fr>
-
Date: Wed, 5 Feb 1997 17:34:53 +0100 (MET)
-
Delivery-Date: Wed, 05 Feb 1997 11:43:14 -0500
-
Reply-To: Philippe.deGroote@loria.fr
[Sorry if you receive this call more than once]
----------------------------------------------------------------------------
- call for participation - call for participation - 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 CALCULUS AND APPLICATIONS
April 2-3-4, 1997
NANCY FRANCE
+-------------------------------------+
| http://www.loria.fr/tlca97 |
+-------------------------------------+
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 V. Tannen
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"
PROGRAMME
---------
Wednesday, April 2
==================
11:00--14:00: Registration
--------------------------
The registration desk will be open at the place of the conference from
11:00~AM. Registration will also be possible during the coffee breaks
and the welcome party.
14:00--15:30: Session 1
-----------------------
14:00--14:30:
Pawel URZYCZYN, (Univ. of Warsaw, Poland),
``Inhabitation in typed lambda-calculi (a syntactic approach).''
14:30--15:00:
Judicael COURANT, (LIP-CNRS, Lyon, France),
``A module calculus for Pure Type Systems.''
15:00--15:30:
Izumi TAKEUTI, (Tokyo Metropolitan Univ., Japan),
``An axiomatic system of parametricity.''
15:30--15:45: Coffee break
--------------------------
15:45--17:15: Session 2
-----------------------
15:45--16:15:
Torben BRAUNER, (BRICS, Aarhus, Denmark),
``A simple adequate categorical model for PCF.''
16:15--16:45:
Masahito HASEGAWA, (LFCS, Edinburgh, Scotland),
``Recursion from cyclic sharing: traced monoidal categories and models of
cyclic lambda calculi.''
16:45--17:15:
Gianna BELLE and Eugenio MOGGI, (Univ. di Genova, Italy),
``Typed intermediate languages for shape-analysis.''
17:15--18:30: Welcome party
---------------------------
The first day will end with a cocktail party given at the
place of the conference.
Thursday, April 3
=================
09:00--10:30: Session 3
-----------------------
09:00--09:30:
Hongwei XI, (Carnegie-Mellon Univ., Pittsburgh, USA),
``Weak and strong beta normalisations in typed lambda-calculi.''
09:30--10:00:
Jan MALOLEPSZY, Malgorzata MOCZURAD, and Marek ZAIONC,
(Jagiellonian Univ., Cracow, Poland),
``Schwichtenberg-style lambda definability is undecidable.''
10:00--10:30:
Yohji AKAMA, (Univ. of Tokyo, Japan),
``A lambda-to-CL translation for strong normalization.''
10:30--10:45: Coffee break
--------------------------
10:45--12:15: Session 4
-----------------------
10:45--11:15:
Antonio BUCCIARELLI, (Univ. di Roma ``La Sapienza'', Italy),
``Logical reconstruction of bi-domains.''
11:15--11:45:
Marina LENISA, (Univ. Udine, Italy),
``Semantic techniques for deriving coinductive characterizations of
observational equivalences for lambda-calculi.''
11:45--12:15:
Toshihiko KURATA, (Tokyo Institute of Technology, Japan),
``A type-theoretical view of Bohm-trees.''
14:00--15:30: Invited Talk
--------------------------
``The Problem of Impredicativity''
PER MARTIN-LOF
(University of Stockholm)
15:30--17:30: Visit to the Henri Poincare archives
--------------------------------------------------
The Henri Poincare archives (University of Nancy 2) will be open
to the participants of TLCA'97. More details will be given at the
time of the conference.
19:30--22:30: Conference Dinner
-------------------------------
The conference dinner will be held in the "Grands Salons" of the
city hall, situated on "Place Stanislas".
Friday, April 4
===============
09:00--10:30: Session 5
-----------------------
09:00--09:30:
Femke van RAAMSDONK, (CWI, Amsterdam, The Netherlands),
``Outermost-fair rewriting.''
09:30--10:00:
Stefano GUERRINI, Simone MARTINI, and Andrea MASINI,
(Univ. di Pisa, Italy)
``Proof nets, garbage and computations.''
10:00--10:30:
Christian RETORE, (INRIA-Lorraine, Nancy, France),
``Pomset logic: a non-commutative extension of classical linear
logic.''
10:30--10:45: Coffee break
--------------------------
10:45--12:15: Session 6
-----------------------
10:45--11:15:
Ferruccio DAMIANI and Paola GIANNINI, (Univ. di Torino, Italy),
``An inference algorithm for strictness.''
11:15--11:45:
Stefano BERARDI and Luca BOERIO, (Univ. di Torino, Italy),
``Minimum information code in a pure functional language with data types.''
11:45--12:15:
Michael BRANDT and Fritz HENGLEIN, (DIKU, Univ. of Copenhagen, Denmark)
``Coinductive axiomatization of recursive type equality and subtyping''.
14:00--15:30: Session 7
-----------------------
14:00--14:30:
Ian STARK, (BRICS, Aarhus, Denmark),
``Names, equations, relations: practical ways to reason about "new".''
14:30--15:00:
Viviana BONO, (Univ. di Padova, Italy), and Michele BUGLIESI,
(Univ. di Torino, Italy),
``Matching constraints for the lambda calculus of objects.''
15:00--15:30:
Hugo HERBELIN, (Univ. Nanterre, France),
``Games and weak head reduction for classical PCF.''
15:30--15:45: Coffee break
--------------------------
15:45--17:15: Session 8
-----------------------
15:45--16:15:
Neil GHANI, Ecole Normale Superieure, Paris.
``Eta-expansions in dependent type theory -- the calculus of
constructions.''
16:15--16:45:
Harald RUESS, (Univ. Ulm, Germany),
``Computational reflection in the calculus of constructions
and its application to theorem proving.''
16:45--17:15:
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 prefecture of the French department {\it Meurthe et
Moselle}, is easily accessible from Paris (Gare de l'Est) by train in about
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
recipient.
You may also pay the registration fee by credit card at the time
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 (including breakfast):
Hotel Category Price
* 220 FRF -- 245 FRF
** 310 FRF -- 390 FRF
*** 425 FRF -- 470 FRF
The number of available one-star rooms is limited. Hotel reservation is
only possible by a credit card.
-----------------------------------------------------------------------
REGISTRATION FORM (best return before March 1.)
-----------------------------------------------------------------------
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 time 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: .......................................
----------------------------------------------------------------
Please address administrative mail regarding the lambda Prolog mailing list to
lprolog-request@cis.upenn.edu. See http://www.cis.upenn.edu/~dale/lProlog.