Radhia Cousot Award (SAS 2022 - Papers) - SAS 2022

Mon 5 - Wed 7 December 2022 Auckland, New Zealand

co-located with SPLASH 2022

Who

Caterina Urban, Gagandeep Singh

Track

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

When

Mon 5 Dec 2022 16:30 - 16:40 at AMRF Auditorium - Keynote 2, Radhia Cousot Award, PC Chairs Report Chair(s): Gagandeep Singh, Caterina Urban

Caterina Urban

Inria & École Normale Supérieure | Université PSL

France

Gagandeep Singh

University of Illinois at Urbana-Champaign

United States

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

Session Program

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

	15:30 - 17:00	Keynote 2, Radhia Cousot Award, PC Chairs ReportSAS at AMRF Auditorium Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban Inria & École Normale Supérieure \| Université PSL

	15:30 60m Keynote		Logical Reasoning in Reinforcement Learning: A Boon or Bane? KeynoteVirtual SAS Suguman Bansal Rice University, USA
	16:30 10m Awards		Radhia Cousot Award SAS Caterina Urban Inria & École Normale Supérieure \| Université PSL, Gagandeep Singh University of Illinois at Urbana-Champaign
	16:40 20m Day closing		PC Chairs Report SAS Caterina Urban Inria & École Normale Supérieure \| Université PSL, Gagandeep Singh University of Illinois at Urbana-Champaign