School of Formal Methods in the Philosophy of Sciences
First Edition 2026 - Urbino (Italy)
Embedded Files
The aim of the school is to provide Master’s and PhD students with a solid introduction to formal methods in the foundations and philosophy of sciences which will allow them to strengthen their research skills and successfully carry out their doctoral projects.
The first edition of the school will address the following two topics, each featuring an introductory course and a Lectio Magistralis:
1. Kleene Logics
Francesco Paoli (University of Cagliari) – Introduction to Kleene logics
Lorenzo Rossi (University of Turin) and Paul Egré (IRL Crossing CNRS / ENS Paris) – Lectio Magistralis: Trivalence: why and what for?
2. Formal Methods in the Philosophy of Computer Science and Information
Giuseppe Primiero (University of Milan) – Formal Verification of Deterministic and Non-Deterministic Computational Systems
Francesca Poggiolesi (IHPST, CNRS, Paris) – Lectio Magistralis: Explaining with reasons: from logic to machine learning classifiers.
Applicants should send by 30 November 2025 a short bio, a career description, and a brief statement explaining their reasons for attending the school (max 1 page) to:
Successful candidates will be notified by 15 December 2025.
We encourage both Master and PhD students specialising in the areas of logic and the philosophy of sciences, in particular those interested in the topics mentioned above, to apply.
Key dates:
Submission deadline (EXTENDED): 30 November 2025
Notification of admission: 15 December 2025.
School held on: 2-6 February 2026
Registration Fee and Practical Information:
The registration fee will be € 70 and will cover:
Full access to all school sessions and lectures
School materials
Coffee breaks
Please note that accommodation, meals and the social dinner on the 5th of February will not be covered by the fee.
We will provide participants with useful information about affordable accommodation in Urbino in due course.
For further info send an email to: pierluigi.graziani@uniurb.it
The PRIN DeKLA project (funded by the European Union – Next Generation EU, Mission 4, Component 1, Investment 1.1; Project code: 2022SM4XC8) fully supports Part 1 of the school, which is dedicated to Kleene logics. By contrast, the Italian Association for Logic and its Applications (AILA), the Italian Society for Logic and Philosophy of Science (SILFS), the University of Urbino Carlo Bo, and the Department of Pure and Applied Sciences support Part 2, which is dedicated to Formal Methods in the Philosophy of Computer Science and Information.
Part 2 of the school is connected to Part 1; however, in compliance with PRIN PNRR regulations, it has been funded with resources different from the PRIN funds used for the first part.
Page updated
Report abuse