Recent Lectures

Further Reasoning about Shared Mutable Data Structures

(A colloquium given at Cambridge University, Queen Mary and Westfield College, and Aarhus University, June 2001) (abstract) (postscript)

Lectures on Reasoning about Shared Mutable Data Structures

A series of lectures at Aarhus University, in the summer of 2001. The first part of the notes is available in gzip-compressed postscript and dvi formats.

Lectures in Argentina

Six Lectures on Reasoning about Shared Mutable Data Structure, given in Tandil, Argentina, September 6-13, 2000, as part of the IFIP Working Group 2.3 School/Seminar on State-of-the-Art Program Design Using Logic. Corrected copies of the slides are available in gzip-compressed postscript and dvi format.

last updated December 5, 2001