BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: TOPL: A Language for Specifying Safety Temporal Properties of  Ob
 ject-Oriented Programs - Radu Grigore\, QM
DTSTART:20111010T114500Z
DTEND:20111010T130000Z
UID:TALK33286@talks.cam.ac.uk
CONTACT:Peter Sewell
DESCRIPTION:TOPL naturally captures relationships between objects and it i
 s designed with the goal of performing dynamic and static analysis. The pr
 esentation covers its formal semantics as well as several examples of its 
 use.\n
LOCATION:FW26
END:VEVENT
END:VCALENDAR