FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Brotherston, James	On the Complexity of Pointer Arithmetic in Separation Logic
D
Demri, Stéphane	A Complete Proof System for Basic Symbolic Heaps with Permissions
E
Echenim, Mnacho	The Complexity of Prenex Separation Logic with One Selector
G
Galmiche, Didier	Labelled Cyclic Proofs for Separation Logic
I
Iosif, Radu	The Complexity of Prenex Separation Logic with One Selector
J
Jovanović, Dejan	Sloth: Separation Logic and Theories via Small Models
K
Kanovich, Max	On the Complexity of Pointer Arithmetic in Separation Logic
Katelaan, Jens	Sloth: Separation Logic and Theories via Small Models
Kimura, Daisuke	Cyclic Theorem Prover for Separation Logic by Magic Wand
Krishna, Siddharth	Automating the Flow Framework
L
Lozes, Etienne	A Complete Proof System for Basic Symbolic Heaps with Permissions
Lugiez, Denis	A Complete Proof System for Basic Symbolic Heaps with Permissions
M
Mery, Daniel	Labelled Cyclic Proofs for Separation Logic
N
Nakazawa, Koji	Cyclic Theorem Prover for Separation Logic by Magic Wand
P
Peltier, Nicolas	The Complexity of Prenex Separation Logic with One Selector
Pym, David	Resource semantics: substructural logic as a modelling technology (keynote)
S
Shasha, Dennis	Automating the Flow Framework
Sighireanu, Mihaela	Presentation of Results from SL-COMP 2018
T
Tatsuta, Makoto	Cyclic Theorem Prover for Separation Logic by Magic Wand
V
Vafeiadis, Viktor	Weak memory made easy by separation logic (keynote)
W
Weissenbacher, Georg	Sloth: Separation Logic and Theories via Small Models
Wies, Thomas	Automating the Flow Framework

Disclaimer | Powered by EasyChair Smart Program