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

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

08:30-09:00Coffee & Refreshments
09:30-10:30 Session 3A

Keynote Talk 1

Location: (virtual only)
09:30
Exact Separation Logic (abstract)
10:30-11:00Coffee Break
10:30-12:00 Session 7

Theories of Separation

Location: (virtual only)
10:30
Two Results on Separation Logic With Theory Reasoning (abstract)
PRESENTER: Nicolas Peltier
11:00
Labelled Tableaux for Linear Time Bunched Implication Logic (abstract)
PRESENTER: Daniel Mery
11:30
On the Expressiveness of a Logic of Separated Relations (abstract)
PRESENTER: Radu Iosif
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:00 Session 14A

Keynote Talk 2

Location: (virtual only)
14:00
Functional correctness specifications for concurrent data structures: Logical Atomicity in Iris (abstract)
15:00-16:30 Session 18

Heaps and Concurrency

Location: (virtual only)
15:00
Proving Logical Atomicity using Lock Invariants (abstract)
PRESENTER: Shengyi Wang
15:30
Deciding Separation Logic with Heap Lists (abstract)
16:00
Polishing a Rough Diamond: An Enhanced Separation Logic for Heap Space under Garbage Collection (abstract)
PRESENTER: Alexandre Moine
15:30-16:00Coffee Break
17:00-17:30 Session 21A

Report on SL-COMP

Chair:
Location: (virtual only)
17:00
Report on SL-COMP