HATRA
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
VenueHilton Pasadena
Room nameIBR Ballroom
Room InformationNo extra information available
Program

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

Wed 23 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:10
Keynote - Todd MillsteinSPLASH Keynotes at IBR Ballroom
09:00
70m
Keynote
Everything is a Program (even if it's not)
SPLASH Keynotes
Todd Millstein University of California, Los Angeles

Thu 24 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:10
Keynote - Richard GabrielSPLASH Keynotes at IBR Ballroom
09:00
70m
Keynote
AI: Winter of Our Discontent
SPLASH Keynotes

Fri 25 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
Keynote - Neha RungtaSPLASH Keynotes at IBR Ballroom
09:00
90m
Keynote
Trillions of Formally Verified Authorizations a day!
SPLASH Keynotes
Neha Rungta Amazon Web Services

Wed 23 Oct

Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct

Displayed time zone: Pacific Time (US & Canada) change

Fri 25 Oct

Displayed time zone: Pacific Time (US & Canada) change

Wed 23 Oct

Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct

Displayed time zone: Pacific Time (US & Canada) change

Room9:0015304510:00153045
IBR Ballroom

Fri 25 Oct

Displayed time zone: Pacific Time (US & Canada) change