Formal Verification of Stability Properties of Cyber-Physical Systems (CoqPL 2016) - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Who

Matthew Chan, Daniel Ricketts, Sorin Lerner, Gregory Malecha

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

Sat 23 Jan 2016 16:50 - 17:15 at Room St Petersburg III - Session IV

Link to Publication

http://arthur.chargueraud.org/events/coqpl2016/CoqPL_2016_paper_5.pdf

Matthew Chan

Daniel Ricketts

University of California, San Diego

Sorin Lerner

University of California, San Diego

Gregory Malecha

UCSD

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

Sat 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	16:00 - 18:00	Session IVCoqPL at Room St Petersburg III

	16:00 25m Talk		The Category-theoretic Solution of Recursive Ultra-metric Space Equations CoqPL Amin Timany , Bart Jacobs iMinds - Distrinet, KU Leuven Link to publication
	16:25 25m Talk		A Case for Tactics with (Limited) Side Effects CoqPL Benjamin Delaware Pre-print
	16:50 25m Talk		Formal Verification of Stability Properties of Cyber-Physical Systems CoqPL Matthew Chan , Daniel Ricketts University of California, San Diego, Sorin Lerner University of California, San Diego, Gregory Malecha UCSD Link to publication
	17:15 30m Talk		The Science of Deep Specification CoqPL Andrew W. Appel Princeton
	17:45 15m Talk		Discussion CoqPL