Dear all, Please find the final schedule for the seminar presentations tomorrow and on Wednesday below. You are kindly invited to join the presentations, either on-site (see room numbers below), or online via Zoom: https://unibe-ch.zoom.us/j/6743951552 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: A Context-Aware LLM-Based Approach 16:50-17:20 -- Mohd Dayatar: Automated Code Contract Repair: An LLM-Based Approach 17:30-18:00 -- Maurice Amon: Towards a Fully Functional Mini-IDE for the SPL' Language == 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