Abstract Interpretation with Infinitesimals (VMCAI) - VMCAI

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

co-located with POPL 2016

Who

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

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

Mon 18 Jan 2016 10:30 - 11:00 at Room St Petersburg I - Hybrid and Timed Systems Chair(s): David Monniaux

Kengo Kido

Swarat Chaudhuri

Rice University

Ichiro Hasuo

University of Tokyo

Japan

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

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	10:30 - 12:00	Hybrid and Timed SystemsVMCAI at Room St Petersburg I Chair(s): David Monniaux CNRS, VERIMAG

	10:30 30m Talk		Abstract Interpretation with Infinitesimals VMCAI Kengo Kido , Swarat Chaudhuri Rice University, Ichiro Hasuo University of Tokyo
	11:00 30m Talk		Lipschitz Robustness of Timed I/O Systems VMCAI Thomas A. Henzinger IST Austria, Jan Otop University of Wrocław, Roopsha Samanta IST Austria
	11:30 30m Talk		A method for invariant generation for polynomial continuous systems VMCAI Andrew Sogokon , Khalil Ghorbal Carnegie Mellon University, Paul Jackson , André Platzer

:

:

:

: