Room: 1

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