International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Automation vs Autonomy | Daniel Busch, Maximilian Schlüter, Bernhard Steffen |
| 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 |