SPIN 2017 - RERS - SPIN 2017

About
Program

SPIN and ISSTA are pleased to feature the Rigorous Examination of Reactive Systems (RERS) Workshop comprising the RERS Verification Challenge. Refer to the RERS 2017 website for more information.

RERS Verification Challenge Events

	Title
	Approaches and Results (presentations by participants) RERS
	Discussion Panel RERS
	Exploiting Benchmark Data by Machine Learning (Jeroen Meijer) RERS
	Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper) RERS
	Potential Future Additions - Data Race Detection and CIVL (invited talk by Stephen Siegel) RERS
	RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernhard Steffen) RERS
	RERS AM Break RERS
	RERS Lunch RERS
	RERS PM Break RERS

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 12 Jul
Displayed time zone: Tijuana, Baja California change

09:00 - 10:00	Session 1RERS at Bren 1424

09:00 60m Day opening		RERS 2017 Challenge Overview, Scored Achievements, and Ranking (Bernhard Steffen) RERS

10:30 - 12:00	Session 2RERS at Bren 1424

10:30 90m Talk		Approaches and Results (presentations by participants) RERS

13:30 - 15:00	Session 3RERS at Bren 1424

13:30 45m Talk		Generating the RERS 2017 Parallel Verification Benchmarks (Marc Jasper) RERS
14:15 45m Talk		Exploiting Benchmark Data by Machine Learning (Jeroen Meijer) RERS

15:30 - 16:30	Session 4RERS at Bren 1424

15:30 60m Talk		Potential Future Additions - Data Race Detection and CIVL (invited talk by Stephen Siegel) RERS

16:30 - 17:30	Session 5RERS at Bren 1424

16:30 60m Day closing		Discussion Panel RERS

RERSSPIN 2017

RERS Verification Challenge Events

Wed 12 Jul
Displayed time zone: Tijuana, Baja California change

Tracks

RERSSPIN 2017

RERS Verification Challenge Events

Program Display Configuration

Wed 12 JulDisplayed time zone: Tijuana, Baja California change

Wed 12 Jul
Displayed time zone: Tijuana, Baja California change