On June 27 2017 (in the framework of the conference in the series Topology, Algebra and Categories in Logic, TACL 2017) the Kurt Gödel Society has presented the gold medal posthumously to the son and the daughter of Professor Petr Hájek, which was awarded for his eminent contribution to the field of logic and to the development of the Kurt Gödel Society, whose president Professor Petr Hájek has been for many years.