International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Logic-Based Explainability: Past, Present & Future | J. Marques-Silva |
| 11:30 | Towards Hybrid-AI in Imaging using VoxLogicA | G. Belmonte, L. Bussi, V. Ciancia, D. Latella, M. Massink |
| 12:00 | Towards AI-assisted Correctness-by-Construction Software Development | B. Kodetzki, T. Bordis, M. Kirsten, I. Schaefer |