Question about program correctness proof

of Dijkstra's and Hoare's visit to the USSR

The author is ready to participate in reception of the guests in Leningrad and asks to clarify his exact role in its organization

invitation to the Lecturer's Dinner

for the scope of WG 2.3. (Attachment № 9 to the Minutes of the 10th TC 2 meeting.)

The author thanks the addressee for dedicating him paper published in BIT Vol.28 no.3. He estimates and gives notes to twenty papers by different authors.

1) Request for a reservation for a table in a dining room of the Sonesta Hotel. 2) Ralway itenary Zandvoort-Maastricht. 3) "Aeroflot" thicket for a flight Moscow-Amsterdam-Moscow (1-10.03.1980).

of the lecture by Dijkstra at the Institute of Information Sciences

requesting to appoint a person responsible for the reception of Prof. Dijkstra and Hoare in Kiev

for professors Dijkstra and Hoare during their visit

about program correctness proof

of Prof. E.W. Dijkstra

Proposals on the contents of Acta Informatica, editor-in-chief's rights and duties, submissions passing procedure

of E.Dijkstra's and A.Hoare's visit to the USSR Academy of Sciences