9:00-10:00 Welcome/Keynote session (Session Chair: Xi Zheng)
- Welcome Speech (Organizing Chairs: Xi Zheng, Aloysius K. Mok, Amir Khazraei, Miroslav Pajic)
- Keynote – Safety Verification via Deep Learning (Sanjoy Baruah from Washington University in St. Louis)
10:00-10:30: Coffee break
10:30 – 12:30: Session 1 (Session Chair: Ruzica Piskac)
- 10:30-11:15: Invited Talk I – How Safe Will I Be Given What I See? Visual Prediction of Calibrated Safety Chances with (Foundation) World Models (Ivan Ruchkin from University of Florida)
- 11:15-12:00: Invited Talk II – Behavioral Testing and Certification of Autonomous Vehicles (Parasara Sridhar Duggirala from the University of North Carolina at Chapel Hill)
- 12:00-12:30: Invited Talk III – Neuro-Symbolic Programming with Scallop (Ziyang Li from University of Pennsylvania)
12:30-13:30: Lunch break
13:30 – 15:00: Session 2 (Session Chair: Miroslav Pajic)
- 13:30-14:15: Invited Talk IV – Formal Methods for Accountable Cyber-physical Systems (Ruzica Piskac from Yale University)
- 14:15-15:00: Invited Talk V – Engineering safe autonomous systems: achievements and challenges(Elena Troubitsyna, KTH Royal Institute of Technology)
15:00-15:30: Coffee break with Dagstuhl and Shonan Seminar Committee meeting
15:30 – 17:00: Session 3 (Session Chair: Xi Zheng)
- 15:30 – 16:15: Invited Talk VI – Current Trends in Neuro-Symbolic Paradigm (Armando Solar-Lezama, Massachusetts Institute of Technology)
- 16:15 – 17:00: Panel discussion on the impact of foundation models and the neuro-symbolic paradigm on trusted autonomy (Host: Xi Zheng, Panel Members: Ivan Ruchkin, Miroslav Pajic, Armando Solar-Lezama)