Logic List Mailing Archive

MINI-WORKSHOP ON FOUNDATIONAL THEORIES IN MATHEMATICS

MINI-WORKSHOP ON FOUNDATIONAL THEORIES IN MATHEMATICS

Department of Mathematics, University of Trento

September 12-14, 2002

In September 2001 a workshop on "Foundational Theories in Mathematics"
took place at the Department of Mathematics of the University of = Trento.
There were three short courses on Set Theory (Philip Welch), Topos Theory
(Ieke Moerdijk) and Constructive Type Theory (Giovanni Sambin).

During that workshop our sensation was confirmed that an essential part
was missing: the one of tying the different theoretical threads of Set
Theory, Topos Theory and Constructive Type Theory even more together. For
this reason we have invited John Bell to lecture on a Synthesis of the
three different foundational theories. We have also invited three leading
specialists: Keith Devlin (Set Theory), Giuseppe Rosolini (Topos Theory)
and Jan Smith (Constructive Type Theory) to participate with John Bell in
two panel discussions and to share with the participants their views on
the foundations of Mathematics.

This second workshop on "Foundational Theories in Mathematics" does not
presuppose participation in the first one; it can be attended quite
independently of the latter.

There will be lectures, panel discussions and discussions on Thursday
September 12 (afternoon), Friday September 13 (whole day), Saturday
September 14 (morning).

For further information:  http://www.science.unitn.it/~baratell/ftm2.html
or contact Stefano Baratella at the address below.

If you need information about travel, accommodation and for hotel booking,
please contact

Mr. Augusto Micheletti, secretary of CIRM
Centro Internazionale per la Ricerca Matematica - Istituto Trentino di
Cultura
I 38050 Povo (TN)- Italy
tel    +39 0461 881628
fax     +39 0461 881629
email    michelet@science.unitn.it 

The organizers
Stefano Baratella and Giovanni Sommaruga

Dipartimento di Matematica, Universita di Trento, via Sommarive 14, I
38050

Povo (TN) ITALIA, tel. +39 (0) 461 881616, fax +39 (0) 461 881624, email:
baratell@science.unitn.it