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