International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | Provable Coordination for LLM Agents via Message Sequence Charts | Benedikt Bollig, Matthias Függer, Thomas Nowak |
| 17:00 | Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking | Stefano Blando, Emanuele Guerrazzi, Riccardo Porcedda, Giuseppe Squillace, Max Tschaikowski, Andrea Vandin |
| 17:30 | LLM-based Program Synthesis in Correctness-by-Construction Engineering | Maximilian Kodetzki, Hannah Grimm, Fynn Demmler, Ina Schaefer |