Invitation to take part in a panel discussion at the Conference on Software Reliability.

of he Royal Society to the meeting for discussio on mathematical logics and programming languages

requesting to inform of the status of visa application

Programming Committee of the Conference on Software Reliability requests A.P.Ershov to speak at the conference and to serve as a session discussant. The talk's title is suggested. Financial topics are also touched.

Request to do a qiality English translation of the booklet released on the occasion of E.Dijkstra's 50th anniversary

about plans to speak at the MSU

"Charles Antony Hoar" (handwritten)

of the Meeting's participants as to its issues.

to C.A.R. Hoare's personal data: CV, Photo, list of publications (handwritten)

requesting to explain what is HIPO-diagram

on the compatibility of programmer's ingenuity and program reliability

Apologies for the delay with the answer to the telegram; hopes to combine the visit with the Symposium in Poland

reminding of the invitation to Ershov for September 1976; request to inform of the plans

Question about the prospects of computer engineering and, in this connection, how much knowledge obtained by students today will be of use in future?