International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Avoiding Distractions in Parity Games | Tom van Dijk |
| 17:00 | No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited | Rik van Spreuwel, Anton Wijs |
| 17:30 | CommonUppRoad: A Framework of Formal Modelling, Verifying, and Vi- sualisation of Autonomous Vehicles | Rong Gu, Lei Feng, Kim Larsen, Kaige Tan, Anders Holck Høeg-Petersen |