Logic List Mailing Archive

[FOM] "Proof in mathematics" (Lille, France, May 2005)

Proof in Mathematics: Logical, historical, and philosophical approaches.
24-28 May, 2005, Lille, France.

The goal of the meeting is to bring together a variety of prominent
scholars engaged in the study of the notion of proof in mathematics and to
create a forum in which different styles of analysis can come together and
explore new possibilities of interaction. Invited speakers:  J.Avigad,
H.Bos, P.Cassou-Nogu?s, K. Chemla, F.De Gandt, J.P. Delahaye, M.Detlefsen
,
J.Dubucs, J.Ferreiros, M.Giaquinto, J.Gray, M.Hallett, D.Heyder, G.Longo,
P.Mancosu, P.Martin-L?f, P.Nabonnand, M.Panza, F.Patras, J.Petitot,
D.Prawitz, S.Rahman, J.M.Salanskis, S.Shapiro, G.Sundholm,
J.J.Szczeciniarz, J.Tappenden, M.van Atten, F.Zalamea. Up to five doctoral
students or recent Ph.D.s without permanent jobs can be offered room and
board for the duration of the conference and the waiving of the
registration fee (30 euros). To apply send by March 15 a CV with a brief
description of your background and motivation to attend the meeting to
Pierre Cassou-Nogu?s at pierre.cassou-nogues@univ-lille3.fr.  Further
information about the meeting can be requested using the same contact. The
organizers are P. Cassou-Nogu?s (CNRS, Savoir et Textes, REHSEIS, Lille
III), J. Ferreiros (University of Sevilla), P. Mancosu (U.C. Berkeley), M.
Panza (CNRS, REHSEIS, Paris VII), J.M. Salanskis (Paris X, Nanterre).