Dear all, please find the current plan for next week's seminar presentations below. I curated this from all sources I have, but please double-check for correctness and completeness (until Monday, lunch time). Best, Timo == Dec. 17, E8 room 107 08:30-09:20 -- Jairo Erazo Botero, Michal Stetina, Dennis Berger, Marilena Manoli: LLM Contamination in the Wild 09:20-09:50 -- Daniel Zeidan: Mutation Testing-based Assessment of Code Contracts 10:00-10:30 -- Jonathan Bernhard: RaQuN Lab for Experimenting with N-Way Model Matching 10:30-11:00 -- William Dan: UAV Test Surrogate Models 11:00-11:30 -- Mohammad Eglil: Passless 16:15-16:45 -- Ramona Christen: Enhancing Automated Contract Generation with Summaries 16:50-17:20 -- Mohd Dayatar: Automated Code Contract Repair: An LLM-Based Approach == Dec. 18, E8 room 105 09:30-10:00 -- Cindy Schnyder: How do open source developers implement variability in their system? 10:00-10:30 -- Sascha Künzler: BIP Mining for Network Graph