Sun 7 Jan 2018 15:00 - 15:30 at Watercourt - Verification Chair(s): Jeffrey S. Foster

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

14:00 - 15:30: VerificationVMCAI at Watercourt
Chair(s): Jeffrey S. FosterUniversity of Maryland, College Park
14:00 - 14:30
Talk
VMCAI
Johannes BaderMicrosoft, Jonathan AldrichCarnegie Mellon University, √Čric TanterUniversity of Chile
14:30 - 15:00
Talk
VMCAI
Adi PrabawaNational University of Singapore, Mahmudul Faisal Al AmeenNational University of Singapore, Benedict LeeNational University of Singapore, Wei-Ngan ChinNational University of Singapore
15:00 - 15:30
Talk
VMCAI