formal letter of official invitation for A.V. Zamulin has been posted

to the abstract of the proposed talk at the Workshop

to A.V. Zamulin about a misprint in the text of the paper

to Prof. Zamulin about the Russian variant of the paper already sent to him

thanks for invitation to Mixed Computation Seminar

the author asks A.P. Ershov to help secure the active presence of all 6 Soviet invitees...

for Dr. Bulyonkov to participate in the Workshop

for Acad. Ershov to participate in the Workshop

for Prof. Barzdin to participate in the Workshop

for Prof. Zamulin to participate in the Workshop

for Dr. Ostrovsky to participate in the Workshop

for Prof. Romanenko to participate in the Workshop

a request to the Head of Foreign Relations Department of the USSR AS, V.A. Smirnyagin, for support and more attention to the trip of the group of Soviet specialists to the Workshop

to Copenhagen

to the Funen isles

submission of the paper "Static Properties of Partial Reduction" for the program of the Workshop

to Prof. Bjorner, submission of the paper "Transformational model of a high-level programming language" for inclusion in the Proceedings of the Workshop

to the paper for inclusion in the program of the Workshop

submission of the paper "Composing Logic Programs with Clausal Join" for inclusion in the program of the Workshop

to A.P. Ershov, submission of the paper "Partial evaluation of queries in deductive databases" to the program of the Workshop