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

Tue 9 Jan

VMCAI-2018
16:00 - 17:30: VMCAI 2018 - Model Checking at Watercourt
Chair(s): Kenneth L. McMillanMicrosoft Research
VMCAI-201816:00 - 16:30
Talk
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
VMCAI-201816:30 - 17:00
Talk
Tanja SchindlerUniversity of Freiburg, Dejan JovanovićSRI International
VMCAI-201817:00 - 17:30
Talk
Benjamin AminofVienna University of Technology, Sasha RubinUniversity of Naples Federico II, Ilina StoilkovskaVienna University of Technology , Josef WidderTU Wien, Florian ZulegerTU Vienna