International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | Verification of Neuro-Symbolic AI (VNSAI) Overview and Welcome | Daniel Neider, Taylor Johnson |
| 09:15 | DARPA Keynote: Neurons, Symbols, and Semantics: Challenges and Opportunities in Verification of NSAI | Alvaro Velasquez |
| 10:15 | Q&A and Discussion |