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

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