22:38
SITI 2022 - Introductory talk by Sriram Rajamani
Microsoft Research
29:46
SITI 2022 - Keynote address by Sanjay Jain
1:20:28
SITI 2022 - Reporting from the Ground
1:36:23
SITI 2022 - Panel Discussion and moderated Q&A session
