Institute for Logic, Language and Computation


24-25 March 2006, Colloquium "Modern Type Theory", IHPST, 13 rue du Four, F-75006 Paris, France

Date: 24-25 March 2006
Location: IHPST, 13 rue du Four, F-75006 Paris, France

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!

The organisers,
Mark van Atten
Michel Bourdeau.

Program 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).

Program 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).

For more information, see http://www-ihpst.univ-paris1.fr or contact:

Mrs. Peggy Cardon

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

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X