about correction and typing of papers

S.Alenberg and A.Ershov at the MFCS-81 conference

on the visit o Prof. Bjorner to SB AS Coputing Center

with proposed two-day shedule of Bjorner's scientific visit

A.Ershov speaking at the MFCS-81 conference.

on USSR contributions to the Congress, accepted or declined, and on the plans of author's trip to USSR.

with rating of the papers submitted to IFIP Congress

best wishes from another Capri week

Thanks for the letter and materials

Materials of Prof. Borner's seminars at the Technical University of Denmark

on the organizational issues of the International Seminar-School on Program and Computational Systems of New Generation, in Samarkand city

Prof. Neuhold writes again to members of WG 2.2 and TC-2 about details of a financial support that can be given to 24 participants of the Meeting in Kyoto.

The author invites the addressee to visit Scientific Council for Cybernetics srom 15 till 29 May 1988 as USSR Academy of Sciences guest.

of Prof. Bjorner's visit

The author answers to the letter of April 27 and informs of planning of the addressee's and other scientists' visit to the USSR the next year. (Handwritten text)