International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Towards Test-Driven Conflict Resolution | Jonas Schuermann |
| 11:20 | Human-AI co-creation of code with different prior knowledge: Effects on performance and trust (pAIrProg) | Sonja Niemann |
| 11:40 | Unintended Consequences of Large Language Models and Their Impact on (Our) Society | Ursula Coester |
| 12:00 | Discussion/Closing | Sven Jörges, Salim Saay, Steven Smyth |