Oregon Programming Language Summer School - OPLSS 2021
This year Ugo Dal Lago will give a course at the OPLSS, entitled "From Program Equivalences to Program Metrics".
More details: https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php