International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 09:00 | Autonomy as Controlled Transformation: A Formal Theory of Governable AI Systems | Saddek Bensalem |
| 09:30 | Agent-local Concurrent Epistemic Ensembles | Alexander Knapp, Rolf Hennicker, Martin Wirsing |
| 10:00 | Emergent Behaviour in Economic Systems: a Computational Perspective | Omar Inverso, Emilio Tuosto, Dragiša Žunić |