Giuseppe Primiero will participate to the Second Autumn Workshop of the PROGRAMme ANR Research project titled “Programming Languages and Notations”.
https://programme.hypotheses.org/autumn-workshop-ii-programming-languages-and-notations
Mese: Settembre 2019
Workshop: Assertion and Proof 2019
Marcello D’Agostino and Giuseppe Primiero are invited speakers at the Workshop on Assertion and Proof at the University of Lecce
https://sites.google.com/view/assertionproof