Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 09:00 | Introduction | Wolfgang Ahrendt, Bernhard Aichernig, Klaus Havelund |
| 09:05 | AI Engineering vs. Vibe-Coding: a Strategic Look at AI-Assisted Software Engineering | Lenz Belzner, Martin Wirsing, Thomas Gabor |
| 09:30 | RAG and Agentic Assistant: A Combined Approach | Moez Ben Hajhmida, Edward Lee |
| 10:00 | Synthesizing Runtime Verification Monitors with LLMs | Itay Cohen, Klaus Havelund, Doron Peled |