Write a Blog >>

Conference Dates
Conference Dates are in time zone (GMT-06:00) Saskatchewan, Central America, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00
Morning KeynoteADSL at Conde
09:00
60m
Talk
Relational reasoning using concurrent separation logic
ADSL
A: Robbert KrebbersDelft University of Technology
Media Attached File Attached
14:00 - 15:05
Afternoon KeynoteADSL at Conde
14:00
65m
Talk
SLEdge: Bounded Model Checking in Separation Logic
ADSL
A: Josh BerdineFacebook
File Attached
15:35 - 17:45
Closing SessionADSL at Conde
15:35
65m
Talk
Programs Synthesis with Separation Logic
ADSL
Nadia PolikarpovaUniversity of California, San Diego
16:40
65m
Talk
Local Reasoning for Global Graph Properties
ADSL
Thomas WiesNew York University