All times are Eastern Standard Time (EST)
| 2:30 – 2:40 | Welcome and Introduction |
| 2:40 – 3:10 | Overview of Safe, Robust, Resilient Autonomy using Formal Methods |
| 3:10 – 3:50 | Talk 1 – Roberto Tron |
| 3:50 – 4:20 | Talk 2 – Gustavo Cardona |
| 4:20 – 4:30 | Summary & Concluding Remarks |