BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20160224T090000Z
DTEND:20160224T103000Z
DCREATED:20160211T152138Z
UID:ATEvent-a11f4800ed1142548f827703055aad6d
SEQUENCE:0
LAST-MODIFIED:20160218T085150Z
SUMMARY:Specifica e verifica di proprietà di sistemi aperti per mezzo di logica computazionale - Marco Alberti (Università di Ferrara)
DESCRIPTION:Seminario di Informatica
PRIORITY:3
TRANSP:0
END:VEVENT
END:VCALENDAR