[TYPES] Martin Hofmann memorial talk

[Benjamin C. Pierce]

Those who still feel the loss of Martin's passing may want to know about a memorial talk on his life and work from LICS in July.

Video: https://www.youtube.com/watch?v=WpWt40l_uDk
Slides only: http://www.cis.upenn.edu/~bcpierce/papers/MartinHofmannMemorial.pdf
Slides + text of presentation: http://www.cis.upenn.edu/~bcpierce/papers/MartinHofmannMemorial.key

  - Benjamin