Course: Treesearch and WWSC Academy, Summer School 2020