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

Nom nom. Chomp. Burp.

Sun 7 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Invited Talk by Ranjit JhalaVMCAI at Watercourt
Chair(s): Isil DilligUT Austin
09:00 - 10:00
Talk
Reasoning about Functions
VMCAI
Ranjit JhalaUniversity of California, San Diego