BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An Embedding of Abstract Separation Logic in HOL - Thomas Tuerk (U
 niversity of Cambridge)
DTSTART:20080219T130000Z
DTEND:20080219T140000Z
UID:TALK9885@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:Speaker: Thomas Tuerk\n\nDuring my last ARG Lunch talk I prese
 nted work on formalising parts of Smallfoot inside HOL. Now I will present
  the continuation of this work: a formalisation abstract separation logic 
 as introduced by Calcagno\, O'Hearn and Yang. However\, the main part of t
 he talk will not consist of the HOL formalisation\, but a presentation of 
 abstract separation logic.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR