SPLASH 2024 (series) /
KeynotesSPLASH 2024
SPLASH 2024 features keynotes by recognized experts in the field. This year we are honored to have the following four in person keynote speakers who will travel to Pasadena and deliver exciting talks:
Keynotes
| Title | |
|---|---|
| AI: Winter of Our Discontent Keynotes | |
| Everything is a Program (even if it's not) Keynotes | |
| SIGPLAN Milner Award Talk Keynotes | |
| Trillions of Formally Verified Authorizations a day! Keynotes |
Dates
Plenary
Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change
Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:10 | |||
09:00 70mKeynote | Everything is a Program (even if it's not) Keynotes Todd Millstein University of California, Los Angeles | ||
Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change
Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:10 | |||
09:00 70mKeynote | AI: Winter of Our Discontent Keynotes Richard P. Gabriel Poet | ||
Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change
Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 90mKeynote | Trillions of Formally Verified Authorizations a day! Keynotes Neha Rungta Amazon Web Services | ||
12:20 - 13:50 | |||
12:20 90mKeynote | SIGPLAN Milner Award Talk Keynotes Armando Solar-Lezama Massachusetts Institute of Technology | ||
12:20 - 13:50 | |||
12:20 90mLunch | Awards Lunch Catering | ||