BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Separation Algebra - Tony Hoare - Microsoft Research
DTSTART:20110531T120000Z
DTEND:20110531T130000Z
UID:TALK31340@talks.cam.ac.uk
CONTACT:William Denman
DESCRIPTION:Separation Algebra provides a simple semantics for concurrent 
 programming.  Other kinds of semantics (deductive\, operational\, refineme
 nt) are easily derived from it\, as I will show.   Will this help proof to
 ols to reason directly about programs\, rather than indirectly through ver
 ification conditions?
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR