Sun 7 Jan 2018 09:00 - 10:00 at Watercourt - Invited Talk by Ranjit Jhala Chair(s): Işıl Dillig

Nom nom. Chomp. Burp.

Sun 7 Jan

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
Invited Talk by Ranjit JhalaVMCAI at Watercourt
Chair(s): Işıl Dillig UT Austin
09:00
60m
Talk
Reasoning about Functions
VMCAI
Ranjit Jhala University of California, San Diego