FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

A Complete Proof System for Basic Symbolic Heaps with Permissions

Stéphane Demri, Etienne Lozes and Denis Lugiez

Labelled Cyclic Proofs for Separation Logic

Didier Galmiche and Daniel Mery

Automating the Flow Framework

Siddharth Krishna, Dennis Shasha and Thomas Wies

The Complexity of Prenex Separation Logic with One Selector

Mnacho Echenim, Radu Iosif and Nicolas Peltier
Total: 4 presentations.