Sun 7 Jan 2018 10:30 - 11:00 at Watercourt - Synthesis Chair(s): K. Rustan M. Leino

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

10:30 - 12:00: SynthesisVMCAI at Watercourt
Chair(s): K. Rustan M. LeinoAmazon
10:30 - 11:00
Talk
VMCAI
Hila Peleg, Shachar ItzhakyTechnion, Israel, Sharon ShohamTel Aviv university
11:00 - 11:30
Talk
VMCAI
Eric ButlerUniversity of Washington, Emina TorlakUniversity of Washington, Zoran PopovicUniversity of Washington
11:30 - 12:00
Talk
VMCAI
Hila Peleg, Dan RasinTechnion – Israel Institute of Technology, Eran YahavTechnion