Nell'ambito delle attività previste dalla programmazione triennale PRO3, il Dipartimento di Scienze Matematiche, Fisiche e Informatiche promuove il Seminario Didattico dal titolo:Introduzione all'analisi statica di linguaggi imperativi.Relatore il Prof. Gianluca Amato (Università di Chieti-Pescara)Il seminario di svolgerà il giorno martedì 8 maggio 2018, alle ore 11:30, presso l'Aula N del Plesso di Chimica.Pur essendo indirizzato agli studenti del CdL in Informatica, il seminario è aperto a tutti gli interessati. Pagina web prof. Gianluca Amato
