VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

14:00 - 15:30
Parameterized and Component-Based SystemsVMCAI at Room St Petersburg I
Chair(s): Arie Gurfinkel Carnegie Mellon University
14:00
30m
Talk
Regular Symmetry Patterns
VMCAI
Anthony Widjaja Lin Yale-NUS College, Singapore, Truong Khanh Nguyen , Philipp Ruemmer Uppsala University, Jun Sun
14:30
30m
Talk
Tight Cutoffs for Guarded Protocols with Fairness
VMCAI
15:00
30m
Talk
A General Modular Synthesis Problem for Pushdown Systems
VMCAI