Resources for Nick Patterson's seminar series (March-April 2020)