System verification (N40AI 2017)

Sun 15 - Sat 21 January 2017

Track

N40AI 2017 Next 40 years of Abstract Interpretation

Time Zone

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

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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

When

Sat 21 Jan 2017 16:00 - 16:30 at Amphitheater 44 - System Verification and Patrick Cousot's Keynote Chair(s): Francesco Ranzato

Abstract

Arie Gurfinkel will present the state of the art and future challenges in system verification by abstract interpretation.

Time Zone

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

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

Time Band

Display full programSpecify a time band

Save

Session Program

Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 18:30: System Verification and Patrick Cousot's KeynoteN40AI at Amphitheater 44 Chair(s): Francesco RanzatoUniversity of Padova

	16:00 - 16:30 Talk		System verification N40AI Arie GurfinkelUniversity of Waterloo
	16:30 - 17:45 Talk		Keynote: the Next 40 years of Abstract Interpretation N40AI Patrick CousotNew York University
	17:45 - 18:30 Social Event		Concrete Cheese and Wine N40AI

System verification

Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Arie Gurfinkel

University of Waterloo

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums

System verification

Program Display Configuration

Program Display Configuration

Sat 21 Jan Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Arie Gurfinkel

University of Waterloo

Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change