International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Room | Session |
| Sun, 25.10 09:00 | Room 2 | Autonomy, Knowledge, and Emergence |
| Sun, 25.10 11:00 | Room 2 | Decision-Making and Awareness |
| Sun, 25.10 14:30 | Room 2 | Generative AI and Reasoning |
| Sun, 25.10 16:30 | Room 2 | Rigorous CAS Engineering in the Quantum-AI Era |
| Mon, 26.10 09:00 | Room 2 | Quantitative Modelling and Simulation |
| Mon, 26.10 11:00 | Room 2 | Modular Design and Platform Architectures |
| Mon, 26.10 14:30 | Room 2 | Engineering Robotic Systems |
| Mon, 26.10 16:30 | Room 2 | Programming and Coordinating Robotic Systems |
| Mon, 26.10 18:30 | Room 2 | Modelling Cyber-Physical Systems |