Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 16:30 | Replication of the Landscape for LLM-generated Formal Specifications for C Programs | Samuel Teuber |
| 16:50 | Human-Centric Hybrid-AI for No-Code Development | Thomas Hildebrandt |
| 17:10 | Analyzing Adversarial Inputs in Deep Reinforcement Learning | Davide Corsi |
| 17:30 | Formally Verifying Stock Classifiers: A Case Study | Daniel Wiedenmann |