Contact
Workshop email:
Workshop email:
assertionproof@gmail.com
Contact group:
Contact group:
Caterina Annese: caterinaannese "at" gmail "dot" com
Massimiliano Carrara: massimiliano.carrara "at" unipd "dot" it
Daniele Chiffi: chiffidaniele "at" gmail "dot" com