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.