Convegno internazionale "The Question of the Formal Method 100 years later"

  • Da Wednesday 13 December 2023 a Friday 15 December 2023
  • Pisa, Bergamo

Università degli Studi di Pisa, Università degli Studi di Bergamo

Convegno internazionale "The Question of the Formal Method 100 years later". Comitato Scientifico: Cinzia Cadamagnani, Ornella Discacciati, Aleksandr Dmitriev, Igor' Pil'ščikov

Informazioni e locandina qui: Locandina Formalismo.pdf , Locandina ProgrammaPisa.pdf , locandina ProgrammaBergamo.pdf