[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
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
