Logic List Mailing Archive

Wkshp Foundational Theories in Mathematics (fwd)

Announcement


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 <mailto:michelet@science.unitn.it>


The organizers
Stefano Baratella and Giovanni Sommaruga



--
Dipartimento di Matematica                      tel. +39 (0)461881616
Universita` di Trento                           fax. +39 (0)461881624
via Sommarive 14                        email baratell@science.unitn.it
I 38050 Povo (TN) ITALIA