Tue 9 Jan 2018 16:30 - 17:00 at Watercourt - Model Checking Chair(s): Kenneth L. McMillan

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

16:00 - 17:30: Model CheckingVMCAI at Watercourt
Chair(s): Kenneth L. McMillanMicrosoft Research
16:00 - 16:30
Talk
VMCAI
Yong LiInstitute of Software, Chinese Academy of Sciences, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences, Sven ScheweUniversity of Liverpool
16:30 - 17:00
Talk
VMCAI
Tanja SchindlerUniversity of Freiburg, Dejan JovanovićSRI International
17:00 - 17:30
Talk
VMCAI
Benjamin AminofVienna University of Technology, Sasha RubinUniversity of Naples Federico II, Ilina StoilkovskaVienna University of Technology , Josef WidderTU Wien, Florian ZulegerTU Vienna