International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 09:00 | Opening by the organisers | |
| 09:15 | Keynote: The Best of Both Worlds: Statistical Model Checking Meets Pre-Computation | Anne Remke |