[Sysprog2025] Workshop starts Monday 09:30