Write a Blog >>
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 20 Jan

Displayed 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 Krebbers Delft 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 Berdine Facebook
File Attached
15:35 - 17:45
Closing SessionADSL at Conde
15:35
65m
Talk
Programs Synthesis with Separation Logic
ADSL
Nadia Polikarpova University of California, San Diego
16:40
65m
Talk
Local Reasoning for Global Graph Properties
ADSL
Thomas Wies New York University