Diretta Samb
Condividi:
Ha preso il via a Urbino la prima edizione della School of Formal Methods in the Philosophy of Sciences, scuola internazionale dedicata all’uso dei metodi formali nella filosofia delle scienze. Rivolta a studenti magistrali e dottorandi, l’iniziativa mira a fornire strumenti logici fondamentali per la ricerca filosofica. Il progetto, itinerante, si svolgerà ogni anno in una diversa università italiana. L’edizione 2026, in programma dal 2 al 6 febbraio a Palazzo Battiferri, è dedicata ai temi delle Kleene Logics e dei metodi formali nella filosofia dell’informatica, con la partecipazione di studiosi di rilievo internazionale. La Scuola coinvolge oltre trenta studenti provenienti da università europee ed è patrocinata da Silfs e Aila.
