BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Filippo Bonchi
DTSTART:20260309T223000Z
DTEND:20260309T233000Z
DTSTAMP:20260414T110607Z
UID:GAATI/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/GAATI/7/">Fu
 nctorial Semantics for Program Logics</a>\nby Filippo Bonchi as part of S
 éminaire GAATI\n\nLecture held in UPF B1-1.\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/GAATI/7/
END:VEVENT
END:VCALENDAR