Michael J. Hopkins, 80. Birthday of Michael Atiyah, Edinburgh 2009