[FOM] Fifth French Philosophy of Mathematics Workshop

[Mark van Atten]

Here is the final program of the Fifth French Philosophy of Mathematics
Workshop, Clermont-Ferrand, October 17-19, 2013.


Program

Thursday, October 17
9.00 am: Thierry Coquand, Göthenburg, “Type theory and univalent
foundations”
10.45 am: Neil Barton, Birkbeck, “Proper Classes and Paraphrases”

2.00 pm: Chris Porter, LIAFA Paris VII, “Randomness and Accessible Objects
in Mathematics”
3.45 pm: Jean-Jacques Szczeciniarz, SPHERE Paris VII, “Reflections on the
ontology of mathematics: an investigation of some links between the axiom
of choice and the excluded middle. The theorem of Diaconescu revisited”

Friday, October 18
9.00 am: Chris Pincock, The Ohio State University, “Felix Klein as a
Prototype for the Philosophy of Mathematical Practice”
10.45 am: Jack Woods, Bilkent, “Logical Indefinites”

2.00 pm: Baptiste Mélès, Clermont II, “Computing Tools and Arithmetical
Properties”
3.45 pm: Monica Solomon, Notre Dame, “Surprises in mathematics”

Saturday, October 19
9.00 am: Sylvain Cabanacq, SPHERE Paris VII, “The sketches, between logic
and geometry: Ehresmann’s theory of species of structures”
10.45 am: Colin McLarty, Case Western Reserve University, “Poincaré’s logic
in light of his philosophy”


venue
Maison des Sciences de l’Homme, room 220
4, rue Ledru
63057 Clermont-Ferrand
Phone  ++33 (0)4 73 34 68 00

websites
conference: https://phier.univ-bpclermont.fr/rubrique22.html
venue: http://www.msh-clermont.fr

contact: Sebastien Gandon, sgandon0[at]gmail.com


Best wishes,
Mark van Atten.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130918/e26da7e9/attachment.html>