The winners of the International Olympiad were honored