International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Formal Methods for AI First | Steve Bosselmann, Daniel Busch, Bernhard Steffen |
| 11:30 | Bug Finding with Agentic Symbolic Execution | George Granberry, Wolfgang Ahrendt, Andy Gordon, Moa Johansson |
| 12:00 | The LLMbda Calculus: AI Agents, Conversations, and Information Flow | Zac Garby, Andy Gordon, David Sands |