BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: Toward a Coq formalisation of the Arm architecture - Thibaut Pera
 mi (University of Cambridge)
DTSTART:20241028T130000Z
DTEND:20241028T140000Z
UID:TALK222604@talks.cam.ac.uk
CONTACT:Ariadne Si Suo
DESCRIPTION:Are you using a smartphone? Do you want to know how it works? 
 I don't know either\, but I'm still trying to teach Coq about it.
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR