FilMat Symposium on Formal Methods15th 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)  …

A full program for the 2022 FilMat Conference, together with abstracts, is now available at the conference page: https://filmatnetwork.com/filmat-2022-program-and-abstracts/