(2–6 febbraio 2026)
Università degli Studi di Urbino- Ha preso il via, lunedì 2 febbraio 2026, a Urbino la prima edizione della Scuola internazionale School of Formal Methods in the Philosophy of Sciences, dedicata all’impiego dei metodi formali nella filosofia delle scienze, rivolta a studenti magistrali dell’ultimo anno e dottorandi del primo anno. L’iniziativa intende fornire ai partecipanti strumenti formali fondamentali per approfondire con competenza e rigore temi e problemi centrali della filosofia delle scienze, rilevanti per le loro ricerche.
La Scuola nasce come progetto itinerante: a partire da questa prima edizione, si svolgerà ogni anno in una diversa università italiana, contribuendo a rafforzare la rete di collaborazione tra studiosi interessati alle applicazioni della logica alla filosofia delle scienze e a promuovere in modo sempre più ampio lo studio e l’acquisizione di tali strumenti.
Ogni edizione si concentrerà su due temi chiave, selezionati dal Comitato Scientifico e sviluppati attraverso due corsi e due Lezioni Magistrali, dedicate a casi di studio e approfondimenti, con l’obiettivo di offrire ai partecipanti una “cassetta degli attrezzi” solida e aggiornata per sostenere le proprie ricerche. Di volta in volta saranno invitati come relatori i massimi esperti internazionali sui temi prescelti.
L’edizione 2026 è dedicata ai temi “Kleene Logics” e “Formal Methods in the Philosophy of Computer Science and Information”, con la partecipazione di studiosi di rilievo internazionale: Francesco Paoli (Università di Cagliari), Giuseppe Primiero (Università di Milano), Francesca Poggiolesi (IHPST, CNRS, Paris), Lorenzo Rossi (Università di Torino) e Paul Égré (IRL Crossing CNRS / ENS Paris).
La Scuola, che coinvolge più di trenta studenti provenienti da diverse università europee e non solo, si svolgerà dal 2 al 6 febbraio 2026 presso Palazzo Battiferri (Via Aurelio Saffi 42, Urbino), Aula Rossa, sotto il patrocinio della Società Italiana di Logica e Filosofia delle Scienze (SILFS) e dell’Associazione Italiana di Logica e sue Applicazioni (AILA).
