BEGIN:VCALENDAR
PRODID:-//AT Content Types//AT Event//EN
VERSION:2.0
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260418T175345Z
CREATED:20180622T124134Z
LAST-MODIFIED:20180622T124144Z
SUMMARY:Deduction\, Computation\, Experiment: exploring the effectiveness of proof
DTSTART:20070402T220000Z
DTEND:20070403T220000Z
LOCATION:Biblioteca Universitaria
URL:https://bub.unibo.it/it/bacheca/deduction-computation-experiment-exploring-the-effectiveness-of-proof
CLASS:PUBLIC
END:VEVENT
END:VCALENDAR