Logic List Mailing Archive

CfP: School of Formal Methods in the Philosophy of Sciences (Urbino, Italy)

This is the second announcement of the Call For Applications to the first edition of the School of Formal Methods in the Philosophy of Sciences that will be held in Urbino on 2-6 February 2026.



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 Methods in the Philosophy of Computer Science and Information: Miscomputation, Verification and Responsibility

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:

pierluigi.graziani@uniurb.it<mailto:pierluigi.graziani@uniurb.it>

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 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 see the school’s website: https://sites.google.com/uniurb.it/sfmps/home

or send an email to: pierluigi.graziani@uniurb.it<mailto:pierluigi.graziani@uniurb.it>


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php