CFP: FilMat symposium on Formal Methods

Submission deadline: April 23, 2023

Conference date(s):
September 8, 2023

Go to the conference's page

Conference Venue:

University of Eastern Piedmont
Alessandria, Italy

Topic areas

Details

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: 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".  

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

Supporting material

Add supporting material (slides, programs, etc.)