BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Verified Software Toolchains: CN: A separation logic refinement ty
 pe system for C - Dhruv Makwana (University of Cambridge)
DTSTART:20220713T094500Z
DTEND:20220713T101500Z
UID:TALK176672@talks.cam.ac.uk
DESCRIPTION:In this talk\, I'll be presenting a new a type system combinin
 g separation logic and refinement types aimed at verifying real-world syst
 ems C code.\n&nbsp\;
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR