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 Institute of Philosophy, 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, and can be completed here:

http://events.sas.ac.uk/ip/events/view/16403/IP+Conference%3A+Second+Symposium+on+the+Foundations+on+Mathematics3A+Second+Symposium+on+the+Foundations+on+Mathematics

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

Comments