FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
ASL 2022 PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
10:30-12:00 Session 6A

Theories of Separation

10:30
Two Results on Separation Logic With Theory Reasoning (abstract)
11:00
Labelled Tableaux for Linear Time Bunched Implication Logic (abstract)
11:30
On the Expressiveness of a Logic of Separated Relations (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 11A

Heaps and Concurrency

14:00
Proving Logical Atomicity using Lock Invariants (abstract)
14:30
Deciding Separation Logic with Heap Lists (abstract)
15:00
Polishing a Rough Diamond: An Enhanced Separation Logic for Heap Space under Garbage Collection (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 15A

Keynote Talk 2

16:00
Functional correctness specifications for concurrent data structures: Logical Atomicity in Iris (abstract)
17:00-17:30 Session 16

Report on SL-COMP

17:00
Report on SL-COMP