International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | Learning to Solve and Optimize by Evolving Code | Veronika Semmelrock, Benedetta Strizzolo, Francesco Zuccato, Gerhard Friedrich, Patrick Rodler, Konstantin Schekotihin |
| 17:00 | Beyond the AI Hype: Rethinking Cognition in the Agentic Enterprise | Barbara Steffen, Krisztina Juvancz |
| 17:30 | Enterprise AI Platformisation | Krisztina Juvancz, Barbara Steffen |