The Ershov IIS team would like to cordially congratulate Sir Tony Hoare, an outstanding computer scientist whose academic interests include program analysis, semantics and verification and as well as the development of the new means of modern programming languages, on his Eightieth Anniversary.