International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | From Maritime Regulations to Verifiable Properties with LLM Assistance | Masoud Ebrahimi, Jackiie Samuelsson, Carolina Smigan, Abu Naser Masud, Robbert Jongeling, Marjan Sirjani |
| 17:00 | We Can No Longer Justify Research Without Demonstrators | Florian Lorber, Willibald Krenn, Cheng Wang |
| 17:30 | From Temporal Guardrails to Runtime Control of LLM Conversations | Itay Cohen, Moran Omer, Doron Peled |