International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Conformal Quantitative Predictive Monitoring and Conditional Validity | Francesca Cairoli |
| 17:00 | Runtime Verification and AI: Addressing Pragmatic Regulatory | Gordon Pace |
| 17:30 | Mechanism Design for Multi-Agent Planning in Robotics | Anna Gautier |