Seminar IHES 2020