Universiteit van Amsterdam


Institute for Logic, Language and Computation

9 - 11 October 2017, 4th Symposium on the Foundations of Mathematics (SotFoM-4): Reverse Mathematics, Munich, Germany

Date: 9 - 11 October 2017
Location: Munich, Germany
Deadline: Sunday 6 August 2017

Reverse mathematics is concerned with examining exactly which axioms are necessary for various central mathematical theorems and results. The program is a relatively new one in the foundations of mathematics. It turns out that most theorems are equivalent to one of five subsystems of second order arithmetic. The main objective of the conference is to explore the philosophical significance of reverse mathematics as a research program in the foundations of mathematics.

Speakers: Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy, LMU Munich), Walter Dean (University of Warwick) (TBC), Benedict Eastaugh (University of Bristol), Marcia Groszek (Dartmouth College), Takako Nemoto (Japan Advanced Institute of Science and Technology), Stephen G. Simpson (Pennsylvania State University and Vanderbilt University).


We invite the submission of abstracts, suitable for a 40 minute talk, on topics related to any aspects of reverse mathematics. We encourage submissions from early career researchers and PhD students. Please send an abstract of around 1000-1500 words by email to in PDF format. Abstracts should be prepared for blind review. The author?s name, paper title, institutional affiliation, and contact details should be included in the body of the email.

For more information, see http://sotfom.wordpress.com or contact .