Tue 9 Jan 2018 11:30 - 12:00 at Watercourt - Verifying Protocols and Systems Chair(s): James Riely

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

10:30 - 12:00: Verifying Protocols and SystemsVMCAI at Watercourt
Chair(s): James RielyDePaul University
10:30 - 11:00
Talk
VMCAI
Swen Jacobs, Mouhammad SakrSaarland University
11:00 - 11:30
Talk
VMCAI
11:30 - 12:00
Talk
VMCAI
Mahsa NajafzadehPurdue University, Marc ShapiroLIP6, Patrick EugsterPurdue University