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é (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 (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 3rd 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 School is organised under the auspices of the Associazione Italiana di Logica e sue Applicazioni (AILA) and the Società Italiana di Logica e Filosofia delle Scienze (SILFS), and supported by the University of Urbino Carlo Bo, Department of Pure and Applied Sciences, and by the PRIN 2022 Project DeKLA (Project code: 2022SM4XC8).
Page updated
Report abuse