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

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

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