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.
Il convegno si inaugurerà il 13 dicembre presso l’Aula Magna di Palazzo Matteucci (piazza E. Torricelli, 2), dove proseguirà anche nella mattinata di giovedì 14 per poi concludersi venerdì 15 dicembre presso l’Università degli Studi di Bergamo.
Tutti i dettagli dell’evento sono consultabili nel poster e nel programma allegati.