International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Room | Session |
| Sat, 24.10 09:00 | Room 1 | From Modeling Languages to Verified Systems |
| Sat, 24.10 11:00 | Room 1 | AI, Learning, and Scalability in Verification and Testing |
| Sat, 24.10 14:30 | Room 1 | Specification and Coordination of Distributed Systems |