FilMat Symposium on Axioms, Rules and Proofs
17th SIFA Conference

August 30-September 1, 2027, Roma Tre University Via Ostiense 234-236, Rome

The Italian Network for the Philosophy of Mathematics will organise a symposium on Formal Methods at the 17th Conference of the Italian Society for Analytic Philosophy (August 30).

Invited speaker: Georg Schiemer (University of Vienna)  

Description:  The FilMat symposium focuses on the nature and use of axioms, rules and proofs in mathematics, both from a foundational perspective and with an eye to mathematical practice. Pressing philosophical questions concern the choice and justification of axioms, rules and proofs, their role in shaping the metaphysics and epistemology of mathematics, and their theoretical fecundity, plurality and limits. We invite contributions that address these and related topics, with the aim of fostering a stimulating discussion across the philosophy of mathematics.

Coordinator: Ludovica Conti

CFA: Up to 5 talks will be selected through blind procedure.

Abstracts: Length of submitted abstracts: (i) a short abstract (300 words) and (ii) a long abstract (1000 words).  

All submissions will undergo blind review and will be assessed on the basis of their quality and philosophical significance. Abstracts must be written in English, submitted in PDF format, and fully anonymized. They must not exceed 500 words, including references. Each abstract must include the title of the talk and the preferred parallel session. Each participant may submit only one contribution as first author, but may be listed as second author on other submissions. 

Please submit your abstract through Microsoft CMT at: https://cmt3.research.microsoft.com/SIFA2027
In the online platform, please select only one primary subject area/parallel session. It is possible to apply specifically to participate in the FilMat Symposium “Axioms, Rules and Proofs” (keynote: Georg Schiemer)

SIFA Young Scholars Prize: Graduate students and early-career researchers (max 5 yrs from PhD) are also eligible for the SIFA Young Scholar Prize (instructions here: http://www.sifa.unige.it/?p=4958)     

Deadline: January 31, 2027

Notification of acceptance: early April 2017

All inquiries should be addressed to ludovica.conti@univie.ac.at

17th SIFA Conference website: