BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Summer of Science Talks: An Introduction to Discrete Geometry\, wi
 th application to the Principles of Concurrent Programming  - Tony Hoare\,
  Microsoft Research Cambridge
DTSTART:20160630T093000Z
DTEND:20160630T104500Z
UID:TALK66704@talks.cam.ac.uk
DESCRIPTION:A discrete geometry consists of a finite set of points\, lines
 \, and figures laid out in two dimensions. In our application\, the dimens
 ions stand for execution time and space in the memory of the computer. The
  points stand for actions performed in program execution\, vertical lines 
 record the behaviour of objects\, horizontal lines represent transactions\
 , and figures are sets of actions occurring in execution of a syntactic co
 mponent of the program text. The diagram is similar to a Message Sequence 
 Chart\, or a litmus test in the study of relaxed memory. From the Geometry
 \, it is possible to deduce the Principles of Concurrent Programming\, as 
 expressed in Hoare Logic or expressed in Plotkin’s structured operationa
 l semantics\, or in the algebraic laws used for program optimisation.\n\nT
 he exposition is introductory\, and requires no background other than an a
 cquaintance with high-school geometry\, algebra\, and logic.\n\nThere will
  be time after the talk for a more in-depth discussion of the techniques p
 resented and their applications. \n
LOCATION:Small Lecture Theatre\, Microsoft Research Ltd\, 21 Station Road\
 , Cambridge\, CB1 2FB
END:VEVENT
END:VCALENDAR