Tue 9 Jan 2018 09:00 - 10:00 at Watercourt - Invited Talk by Azadeh Farzan Chair(s): Işıl Dillig

Tue 9 Jan

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
Invited Talk by Azadeh FarzanVMCAI at Watercourt
Chair(s): Işıl Dillig UT Austin
09:00
60m
Talk
Rethinking Compositionality for Concurrent Program Proofs
VMCAI
Azadeh Farzan University of Toronto