Pubblicato il ConvegniTag Cinzia Cadamagnani, Ornella Discacciati, Palazzo Matteucci, Università di Bergamo LA QUESTIONE DEL METODO FORMALE: convegno internazionale | 13-15 dicembre 2023 Dal 13 al 15 dicembre 2023, presso l’Università di Pisa e l’Università degli Studi di Bergamo, si svolgerà il convegno internazionale The Question of the Formal Method 100 years later / La questione del metodo formale cento anni dopo a cura di Cinzia Cadamagnani e Ornella Discacciati.