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

Tue 9 Jan

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