A General Modular Synthesis Problem for Pushdown Systems (VMCAI) - VMCAI

Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Who

Ilaria De Crescenzo, Salvatore La Torre

Track

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 19 Jan 2016 15:00 - 15:30 at Room St Petersburg I - Parameterized and Component-Based Systems Chair(s): Arie Gurfinkel

Ilaria De Crescenzo

Salvatore La Torre

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 Simon Außerlechner , Swen Jacobs , Ayrat Khalimov
	15:00 30m Talk		A General Modular Synthesis Problem for Pushdown Systems VMCAI Ilaria De Crescenzo , Salvatore La Torre