BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260430T110537Z
CREATED:20160211T152138Z
UID:ATEvent-a11f4800ed1142548f827703055aad6d
LAST-MODIFIED:20160218T085150Z
SUMMARY:Specifica e verifica di proprietà di sistemi aperti per mezzo di logica computazionale - Marco Alberti (Università di Ferrara)
DTSTART:20160224T090000Z
DTEND:20160224T103000Z
DESCRIPTION:Seminario di Informatica
CATEGORIES:seminario
CONTACT:Fabrizio Riguzzi
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR