International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | It’s Safe to Play while Driving: From a Spatial Traffic Logic Towards Traffic Games | Maike Schwammberger |
| 11:30 | A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL | Christoph Matheja |
| 12:00 | Discussion |