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