Write a Blog >>
PADL 2020
Mon 20 - Tue 21 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameConde
Floor3
Room InformationNo extra information available
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

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

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conde