Tight Worst-Case Bounds for Polynomial Loop Programs (FOSSACS 2019) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Amir Ben-Amram, Geoff Hamilton

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Thu 11 Apr 2019 14:00 - 14:30 at SUN II - Verification Chair(s): Mikolaj Bojanczyk

Link to Publication

https://link.springer.com/chapter/10.1007/978-3-030-17127-8_5

Amir Ben-Amram

Geoff Hamilton

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Thu 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	14:00 - 16:00	VerificationFOSSACS at SUN II Chair(s): Mikolaj Bojanczyk University of Warsaw

	14:00 30m Talk		Tight Worst-Case Bounds for Polynomial Loop Programs FOSSACS Amir Ben-Amram , Geoff Hamilton Link to publication
	14:30 30m Talk		Kleene algebra with hypotheses FOSSACS Amina Doumane , Denis Kuperberg , Damien Pous CNRS, Pierre Pradic Link to publication
	15:00 30m Talk		The Impatient May Use Limited Optimism to Minimize Regret FOSSACS Michaël Cadilhac , Guillermo A. Perez University of Antwerp, Marie van den Bogaard Link to publication
	15:30 30m Talk		Partial and Conditional Expectations in Markov Decision Processes with Integer Weights FOSSACS Jakob Piribauer , Christel Baier TU Dresden, Germany Link to publication