FilMat Symposium on Formal Methods
15th SIFA Conference

University of Eastern Piedmont, Alessandria, Italy
September 8, 2023  

The Italian Network for the Philosophy of Mathematics will organise a symposium on Formal Methods at the 15th Conference of the Italian Society for Analytic Philosophy (September 7-9, 2023).

Invited speaker: Greg Restall (University of St. Andrews)  

Description:  Formal methods are increasingly central to contemporary philosophy. Examples include, among others, logic, set theory, proof theory, model theory, and computability theory. The aim of this workshop is to discuss recent trends in formal philosophy, as well as cutting-edge methodologies and results. We seek contributions on (but not limited to) the following topics: Formal methods and philosophical methodology, historical roots of formal philosophy (Frege, Russell, Peirce, Cassirer, Hilbert, Carnap), philosophy of logical notation, history and philosophy of logic, higher-order logics, philosophical logic, formal semantics, formal epistemology, non-classical logics and the foundations of mathematics, and logical pluralism.  

Organiser: Luca Zanetti (IUSS Pavia)  

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).  

Abstracts must be submitted through Easychair: https://easychair.org/conferences/?conf=sifa23. Please select the Logic and Philosophy of Science session and add “Symposium on Formal Methods” to the title of your abstract. The long abstract should be uploaded in the field “Paper”.  

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: April 23, 2023

Notification of acceptance: June 15, 2023

15th SIFA Conference website: http://www.sifa.unige.it/?p=4958