Matteo Ferri, Fulvio Mancarella, Ashwin A. Seshia, James Ransley, Kenichi Soga, Jan Zalesky, Alberto Roncaglia