BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:Meeting on Formal Methods and Smart Contracts
X-WR-CALDESC:Inizio: Mercoledì 23 Ottobre ore 10.30 - 
Fine: Giovedì 24 Ottobre ore 13.00
END:VCALENDAR