International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Code | Bernhard Aichernig, Klaus Havelund |
| 17:00 | Generative Artificial Intelligence Tools in Project-Based Learning | Tom van Dijk, Vadim Zaytsev |
| 17:30 | Using Large Language Models to Automatically Featurize Software | Johan Martinson, Thorsten Berger |