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