International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | Constrained Quantum Optimization meets Model Reduction | Max Tschaikowski, Andrea Vandin |
| 17:00 | Panel Discussion on the Future of Rigorous Engineering in the Age of Pervasive AI (Moderator: Catia Trubiani) | Catia Trubiani, Tiziana Margaria, Uwe Aßmann, Saddek Bensalem, Rocco De Nicola |