https://philarcher.org/talks/2018/dagstuhl/
Phil Archer <phil@philarcher.org>
@philarcher1
Anything else?