International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | Opening Remarks | Kim Larsen |
| 09:20 | Invited Talk: 3 Challenges in Statistical Model Checking (and 3 Modest solutions) | Arnd Hartmanns |