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 | |
Trillions of Formally Verified Authorizations a day! Keynotes |