Workshop Program

Wednesday, September 3, 2025 (socializing)

–
S8 from Munich Main Station
–
Arrival and check-in
–
Coffee break
–
Hobby introduction - Round 1
Organizer: Max Perschl
–
Lunch
–
Hobby introduction - Round 2
Organizer: Max Perschl
–
Cultural workshop: How are things done elsewhere?
Organizer: TUM Language Center
–
Dinner
–
Lake hike

Thursday, September 4, 2025 (research)

–
Breakfast
–
Three new student talks
Organizer: Nico Holzinger, Shuaiyi Li, Theresa Wasserer
–
Coffee break
–
Presentation of Methods in Teaching
Speaker: Marian Lingsch
–
Lunch
–
General Assembly
Speaker: Thomas Lemberger
–
Task assignment for planning the next fall retreat
Organizer: Yunru Wang
–
Boat trip
–
Dinner

Friday, September 5, 2025 (with PIs)

–
Breakfast
–
Speed collaboration poster session
Organizer: Max Perschl
–
Coffee break
–
Tutorial: Combining Approaches and Tools in Software Verification
Speaker: Marie-Christine Jakobs
–
Lunch
–
Collaboration update
Organizer: Max Perschl
–
Focus Groups: Challenges in Academia
Organizer: Thomas Lemberger
–
Next retreat presentation & Summary
Organizer: Yunru Wang
Walk to train station
S8 to Munich