International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Panel on Future of VNSAI | Daniel Neider, Taylor Johnson, Alvaro Velasquez, Zakaria Chihani |
| 17:30 | Q&A and Discussion |