THE QUESTION OF THE FORMAL METHOD: International Conference | December 13th to 15th 2023 The international conference The Question of the Formal Method 100 Years Later will be held at the University of Pisa and the University of Bergamo from December 13 to 15, 2023. Curated by Cinzia Cadamagnani and Ornella Discacciati, the conference will open on December 13 in the Aula Magna of Palazzo Matteucci, where it will continue on the morning of Thursday, December 14, and conclude on Friday, December 15 at the University of Bergamo. Full event details are available in the attached poster and programs. Attachments PosterDownload Conference Program PisaDownload Conference Program BergamoDownload