International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Room | Session |
| Tue, 27.10 11:00 | Room 2 | Neuro-Symbolic AI and Decision-Making |
| Tue, 27.10 13:30 | Room 2 | Keynote |
| Wed, 28.10 11:00 | Room 2 | Explainable Formal Methods and AI |
| Wed, 28.10 14:30 | Room 2 | Reinforcement Learning and Hybrid Systems |
| Wed, 28.10 16:30 | Room 2 | Agents and LLM-based Engineering |