[FOM] CFR: SoTFoM, SYMPOSIUM II `COMPETING FOUNDATIONS?'; INSTITUTE OF PHILOSOPHY, LONDON, 12-13 JANUARY 2015.

[Neil Barton]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20141215/da076b18/attachment.html>