FilMat symposium on Formal Methods

September 8, 2023
University of Eastern Piedmont


View the Call For Papers


University of Melbourne


Scuola Universitaria Superiore IUSS Pavia

Topic areas

Talks at this conference

Add a talk


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.

University of Eastern Piedmont, Alessandria 8 September 2023  

Invited speaker: Greg Restall (St. Andrews)  

Organiser: Luca Zanetti (IUSS Pavia)  

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.  

Up to 5 talks will be selected through blind procedure.

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

Abstracts must be submitted through Easychair: 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".  

Graduate students and early-career researchers (max 5 yrs from PhD) are also eligible for the SIFA Young Scholar Prize (instructions here:     

Deadline: April 23, 2023

Notification of acceptance: June 15, 2023

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.