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)

Date	Time	Room	Content	Reading List
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.

Recommended exercises

For 2nd lecture: Ch 2, Exercise 2, first 7 schemata.

Lecturer

Jonathan Cederberg

Literature

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.