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/

Amin Coja-Oghlan: Best Paper Award ICALP 2009

Congratulations to Amin Coja-Oghlan

Amin's paper, A better algorithm for random k-SAT will receive the Best Paper Award of ICALP 2009, Track A.

The award will be conferred at the EATCS General Assembly on Tuesday, July 7