Month: December 2014

CFR: SoTFoM, SYMPOSIUM II `COMPETING FOUNDATIONS?’; INSTITUTE OF PHILOSOPHY, LONDON, 12-13 January 2015.

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