Room: 1
| Time | Title | Authors |
|---|---|---|
| 14:30 | TriCo - LLM supported Development of Robust Software | Ahrendt, Gurov, Johansson, and Rümmer |
| 15:00 | Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study | Belzner, Gabor, and Wirsing |
| 15:30 | Do users write more insecure code with AI assistants? | Boneh, Kumar, Perry, and Srivastava |
| Coffee Break | ||
| 16:30 | Some Experiments in Chatbot-Assisted Program Development | Leucker and Schneider |
| 17:00 | What can Large Language Models do for Theorem Proving and Formal Methods? | Johansson |