LMS  Summer School 2023:  Programme