12-13 Jan 2015
London, U.K.
CFR: SoTFoM, SYMPOSIUM II `COMPETING FOUNDATIONS?'; INSTITUTE OF PHILOSOPHY, LONDON, 12-13 January 2015. The organisers are delighted to announce a provisional programme and call for registration for the upcoming Symposium in the Foundations of Mathematics, to be held at the Institute of Philosophy in London on 12-13th January 2015. There will be an additional (free) affiliated talk by Benedict Eastaugh at the Institute on the 14th January. Sponsors: The Mind Association, British Logic Colloquium, Aristotelian Society, British Society for the Philosophy of Science, and Birkbeck College. Keynote speakers: James Ladyman, Victoria Gitman, Sy-David Friedman, Toby Meadows. Contributed speakers: David Corfield, Sam Sanders, Dimitris Tsementzis, Shivaram Lingamneni. Registration: Registration is 10 for students and 20 otherwise. Those wishing to register should send an e-mail to sotfom [at] gmail [dot] com with the subject line `SOTFOM II REGISTRATION' with their name and fee payable. Further information can be found on sotfom [dot] wordpress [dot] com, or by e-mailing one of the organisers: Carolin Antos-Kuby (carolin [dot] antos-kuby [at] univie [dot] ac [dot] at) Neil Barton (bartonna [at] gmail [dot] com) Claudio Ternullo (ternulc7 [at] univie [dot] ac [dot] at) John Wigglesworth (jmwigglesworth [at] gmail [dot] com) Provisional Programme: 12th January. 09:30-10:00 Coffee/Announcements 10:00-11:30 James Ladyman - TBA 11:30-12:00 Coffee 12:00-13:15 David Corfield - `Homotopy Type Theory: A New Foundational Language.' 13:15-14:45 Lunch (Own arrangements) 14:45-16.00 Dimitris Tsementzis - `On Structuralist Foundations of Mathematics.' 16.00-16.30 Coffee 16.30-18:00 Toby Meadows - TBA 13th January. 09:30-10:00 Coffee/Announcements 10:00-11:30 Sy-David Friedman - TBA 11:30-12:00 Coffee 12:00-13:15 Sam Sanders - `On The Contingency of Predicativism.' 13:15-14:45 Lunch (Own arrangements) 14:45-16.00 Shivaram Lingamneni - `Can We Resolve the Continuum Hypothesis?' 16.00-16.30 Coffee 16.30-18:00 Victoria Gitman - TBA