VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Mon 18 Jan 2016 14:00 - 14:30 at Room St Petersburg I - Dynamic and Static Verification Chair(s): Aarti Gupta

Mon 18 Jan

VMCAI-2016-papers
14:00 - 15:30: VMCAI - Dynamic and Static Verification at Room St Petersburg I
Chair(s): Aarti GuptaPrinceton University
VMCAI-2016-papers14:00 - 14:30
Talk
Pavel ParizekCharles University in Prague
VMCAI-2016-papers14:30 - 15:00
Talk
VMCAI-2016-papers15:00 - 15:30
Talk