Report on preparation to the IFIP 80 Congress.

"An informal introduction to specifications using Clear" by R.M.Burstall, J.A.Goguen.

with thanks for essential remarks on Tyugu's IFIP 80 paper.

asks him to informally contact and urge Darlington to come

Request to talk informally to J.Darlington and try to talk him into coming to the Urgench Symposium

"Making Programs More Readable" by J.L.Weiner, R.M.Burstall.

The Program Committee asks the reviewer of E.Tyugu's invited paper to help the author to secure the high quality of its style and contents.

wants to come but has to seek for financial support

for an improved version of the draft of A.Tyugu's invited paper.

asks to consider a possibility to invite some foreign scientists as the guests of USSR AS; attachments: background, characteristics, reception program

Reply to the letter of 15th September is delayed because of the author's moving from Manchester to Essex. The author discusses the results of contacts with potential authors, asks what the position is about the contribution of G. Colouris.

reviewing E.Tyugu's paper.

With the Compliments

on difficulties with obtaining reviews of Congress papers in due time.

The author considers critical remarks concerning his paper.

about resolution of the Prezidium of USSR AS to invite 4-5 foreign participants as guests of the USSR AS; Prof. D. Darlington is invited instead of Prof. P. Burstall; his characteristic and program of stay enclosed

The Program Committee asks the reviewer of E.Tyugu's invited paper to help the author to secure the high quality of its style and contents.