International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Epistemic Ensembles in Semantic and Symbolic Environments | Martin Wirsing, Hennicker, Knapp |
| 11:30 | The evolving conscious agent, I | Yifeng Chen, Jeff Sanders |
| 12:00 | Emergence in Multi-Agent Systems - A Safety Perspective | Philipp Altmann, Julian Schönberger, Steffen Illum, Maximilian Zorn, Fabian Ritz, Tom Haider, Simon Burton, Thomas Gabor |