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-2018151531740000010:30 - 11:00
Talk
Hila Peleg, Shachar ItzhakyTechnion, Israel, Sharon ShohamTel Aviv university
VMCAI-2018151531920000011:00 - 11:30
Talk
Eric ButlerUniversity of Washington, Emina TorlakUniversity of Washington, Zoran PopovicUniversity of Washington
VMCAI-2018151532100000011:30 - 12:00
Talk
Hila Peleg, Dan RasinTechnion – Israel Institute of Technology, Eran YahavTechnion