[Prev][Next][Index][Thread]
5th Jumelage on Typed Lambda Calculus
Date: Fri, 11 Jan 91 09:55:41 +0100
Here is the program of the fifth meeting of the EEC Jumelage project
"Typed Lambda Calculus"
directed by J.Y. Girard.
For any question, contact the local organizer:
Giuseppe Longo
Laboratoire d'Informatique
Ecole Normale Superieure
45, Rue D'Ulm
75005 Paris (France)
(tel. ++33-1-4329-1225 poste 3328, secr.3279, direct 4326-7240;
FAX 4634-0531; e-mail: longo@dmi.ens.fr)
(Please note the new PERMANENT address of G.L.)
****************************************************************************
5TH JUMELAGE MEETING ON TYPED LAMBDA CALCULUS
February 1-6, 1991, PARIS
****************************************************************************
FRIDAY 1st
09.30 WELCOME
09.45 - 10.30 Jean-Yves Girard
"Denotational semantics of classical logic"
11.00 - 11.30 Zhaohui Luo
"Filling-up rules in type theory"
11.30 - 12.15 Stefano Berardi
"Construction Calculus : consistent contexts and program
extraction"
LUNCH
14.30 - 15.15 Furio Honsell
"A general theory of type assignment systems for an abstract
notion of domain"
15.30 - 16.15 Lavinia Egidi
"A model for call-by-value lambda calculus"
16.30 - 17.15 Erik Poll
"A cpo model for a second order lambda calculus with recursive
types and subtyping"
****************************************************************************
SATURDAY 2nd
09.30 - 10.15 Thomas Ehrhard
"Stone duality for DI-domains with stable functions"
10.30 - 11.15 Roberto Amadio
"Bifinite domains: stable case"
11.30 - 12.00 Pietro di Gianantonio
"Denotational semantics of real numbers"
12.00 - 12.30 Ramon Pino
"Semantics for partial lambda calculus"
LUNCH
****************************************************************************
SUNDAY 3rd
AFTERNOON EXCURSION (Vaux-le-Vicomte?)
20.15 INFORMAL DINNER
****************************************************************************
MONDAY 4th
09.30 - 10.15 Jean Gallier
title to be announced
10.30 - 11.15 Eric Duquesne
"Cut elimination and principal types of system D"
11.30 - 12.15 Michel Parigot
"Analysis of cut elimination"
LUNCH
14.30 - 15.15 Corrado Boehm
"Embedding categories and types into untyped lambda-calculus"
15.30 - 16.15 Ines Margaria
"Principal typing in intersection types with quantification"
16.30 - 17.15 Paul Rosie`res
"Admissible rules"
****************************************************************************
TUESDAY 5th
09.30 - 10.15 Giuseppe Longo
"Type theories and object-oriented programming: some problems,
some philosophy (or: a mariage of convenience?)"
10.30 - 11.15 Paola Giannini
"Complete stratification of polymorphic lambda calculus"
11.30 - 12.00 Randy Pollak
"Some GTS folklore"
12.00 - 12.30 Philippa Gardner
"A type theory for representing logics"
LUNCH
14.30 - 15.15 Henk Barendregt
"Strong normalisation proofs"
15.30 - 16.00 Benedetto Intrigila
"Delta-rule for strong normalisation"
16.00 PROJECT MEETING
20.30 FORMAL DINNER
****************************************************************************
WEDNESDAY 6th
09.30 - 10.15 Dale Miller
"Logic programming in a fragment of intuitionistic linear logic"
10.30 - 11.15 Gilles Amiot
"Decision procedures for linear logic and unification"
11.30 - 12.15 Rene' David
"About Krivine's storage operators"
LUNCH
14.30 - 15.15 Michele Abrusci
"Recent developments in noncommutative linear logic"
15.30 - 16.15 Gianluigi Bellin
"Some topics in the proof theory of linear logic"
16.30 - 17.00 Gianfranco Mascari
"Noncommutative Girard quantales and phase spaces"
17.00 - 17.30 Adolfo Piperno
"About the solvability of the equation MX=y"
17.30 END
****************************************************************************
The place is: Ministe`re de la Recherche et de la Technologie
1 rue Descartes
75005 Paris
This is in Quartier Latin (close to Panthe'on), between Universite' de Paris 7
and Ecole Normale Supe'rieure.
The nearest Me'tro stations are: Cardinal Lemoine, Maubert Mutualite'.
Registration fees: 500F.
(This includes the 5 lunches, the 2 dinners and the excursion.)
For accomodation contact: butery@dmi.ens.fr