[FOM] colloquium Modern Type Theory (Paris)

[Mark van Atten]

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



-- 
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


-- 
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.