International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | Towards Integrating Copiloting and Formal Methods: Building Blocks, Architecture, and Challenges | George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 09:30 | Interest beyond Violation: On Points-of-Interest in Runtime Verification | Christian Colombo, Gordon Pace, Gerardo Schneider |
| 10:00 | Challenges of Multilingual Program Specification and Analysis | Carlo A. Furia, Abhishek Tiwari |