Logic List Mailing Archive

Colloquium on Modern Type Theory: March 24-25, Paris

Announcement

A two-day colloquium on Modern Type Theory will be held on Friday, March
24 and Saturday, March 25 at the IHPST in Paris. Please find the program
below. All welcome!

For further information, contact

Mrs. Peggy Cardon
peggy.cardon@univ-paris1.fr
IHPST (Paris 1/CNRS/ENS)
13 rue du Four, F-75006 Paris, France
tel ++ 33 (0)1 43 54 94 60
fax ++ 33 (0)1 43 25 29 48
http://www-ihpst.univ-paris1.fr


 The organisers,
 Mark van Atten
 Michel Bourdeau.

MODERN TYPE THEORY

time: Friday, March 24 and Saturday, March 25

place: IHPST, 13 rue du Four, F-75006 Paris, France

 Friday, March 24

 14.00 Jacques Dubucs (IHPST): Opening words.

 14.15 N.G. de Bruijn (Eindhoven) : `Philosophy of mathematics  
 influenced
 by formal verification systems and by type theory'

 Respondent: B.G. Sundholm (Leiden)

 15.15 G. Huet (INRIA): `Mathematics, Linguistics, and Types'

 Respondent: B. Jaulin (EHESS)

 16.15-16.45: break

 16.45 A. Ranta (G?teborg): `Grammar and Types'

 Respondent: M. Bourdeau (IHPST).

 Saturday, March 25

 09.15 P. Martin-L?f (Stockholm): `The type-theoretic logic of  
 existence'

 Respondent: D. Bonnay (IHPST).

 10.15 G. Dowek (Ecole Polytechnique et INRIA): `Le syst?me T de G?del'

 Respondent: J. Fichot (IHPST).

 11.15-11.30: break

 11.30 P. Aczel (Manchester): title to be announced

 Respondent: P. Boldini (Paris IV and CAMS).