Program - SAS 2022

Mon 5 - Wed 7 December 2022 Auckland, New Zealand

co-located with SPLASH 2022

Detailed Table Session Timeline Detailed Timeline

Get Calendar (iCal)

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect 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

Mon 5 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
AMRF Auditorium	SAS Keynote 1																		SAS Model Checking and Verification																																				SAS Numerical Static Analyses																								SAS Keynote 2, Radhia Cousot Award, PC Chairs Report

Tue 6 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
AMRF Auditorium	SAS Keynote 3																		SAS Security																																				SAS Logic and Completeness																								SAS Invariant and Program Synthesis

Wed 7 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30
AMRF Auditorium	SAS																		SAS Compilers and Optimizations

SAS 2022 Program

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

SAS

SAS

SAS

SAS

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

SAS

SAS

SAS

SAS

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

SAS

SAS

Tracks

SAS 2022 Program

Switch Program View

Program Display Configuration

Mon 5 DecDisplayed time zone: Auckland, Wellington change

SAS

SAS

SAS

SAS

Tue 6 DecDisplayed time zone: Auckland, Wellington change

SAS

SAS

SAS

SAS

Wed 7 DecDisplayed time zone: Auckland, Wellington change

SAS

SAS

Get Calendar (iCal)

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change