On October, 4th Prof.Dines Bjørner (Institute of Informatics and Mathematical Modelling, Kgs.Lyngby, Denmark), celebrated his 70th anniversary. Dines Bjørner is known as a prominent computer scientist who earned the world-wide reputation as a specialist in formal methods of software engineering and one of the authors of the famous Vienna Development Method for computer-based systems. Friends and followers from the Ershov Institute of System Informatics sincerely wish Dines Bjørner good health and well-being and look forward to see him again in Academgorodok.
Dines Bjørner's friendship with late Acad. Andrei Ershov was fruitful for international computer science community. There are a lot of documents in A.P. Ershov Archive associated with the name of Professor.