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

Sun 7 Jan

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