Mihnea Iancu and Michael Kohlhase received the best paper award at CICM 2015 in Washington DC, USA (MKM/DML tracks) for their paper Math Literate Knowledge Management via Induced Material