Separation Logic Seminar
This is an effort to present the basics of separation logic. The format is not set, and will be adjusted according to the wants and needs of the lecturer and the attendees.
Schedule (highly tentative)
|10/3||10:30||1245||The basics (Hoare triples, separating conjunction etc)||Chapter 1 and parts of chapter 2, no details.|
|24/3||10:30||1245||Soundness and unsoundness of standard derivations in SL||Chapter 2, 3, no details.|
For 2nd lecture: Ch 2, Exercise 2, first 7 schemata.
We will use the excellent lecture notes produced by Professor J. C. Reynolds at Carnegie Mellon University, found here. Possibly also some papers. Assume any references on this page to be to the aforementioned lecture notes.