Best paper award for Iain Whiteside

Congratulations to Iain Whiteside who was given best paper award at Mathematical Knowledge Management (MKM 2011), Bertinoro, Italy for his paper "Towards Formal Proof Script Refactoring", coauthored with his supervisors: David Aspinall, Gudmund Grov and Lucas Dixon.
For more about the conference, see http://www.mkm-ig.org/