Letter, R. E. A. Mason->D. Bjorner, 09.09.1986 about financial support of the Workshop
Preliminary information, 15.09.1986Plans of the Workshop, including the theoretical part with basic notions of partial and mixed computation
Listof purchases to be done in Denmark for Ershov's family
Note, 02.10.1986B.N. Ostrovski's address
Announcement, 15.10.1986information about the Workshop with a suggestion to everyone interested to present his results in this field to A.P Ershov in order to be mentioned in Ershov's talk
Letter, 20.10.1986First announcement and other materials on the Workshop
Letter, 17.02.1987a copy of the "First Announcement" dated October 20, 1986
Telegram, A.P. Ershov->D. Bjorner, 18.12.1986about the final number of Soviet participants
Biographical information, 23.12.1986about N.N. Nepeivoda (for preparation of documents for getting visa to Denmark)
Letter with Attachment, 04.11.1986TC-2 members are asked to approve by the post ballot co-sponsorship of TC for the Workshop on Partial and Mixed Computation. The attachment contains information on the Workshop.
Letter with attachment, A. S. Alekseev->E. P. Velikhov..., 17.01.1987
Telex, D. Bjorner->A.P. Ershov, 10.01.1987with the list of Soviet participants invited at the cost of Organizing Committee
Postcard, D. Bjorner->A.P. Ershov, 11.01.1987informs about 7 Japanese scientists wishing to attend the Workshop
Letter, T. I. Yuganova->A.V. Zamulin, 16.01.1987information about the English variant of the paper
Letter, N. N. Nepeivoda ->A.P. Ershov, 21.12.1986information about the Workshop and his private life
Letter, D. Bjorner->A.P. Ershov, 30.01.1987about the trips of his family and other events of 1986
Letter, 08.02.1987about a more definitive "Call for papers" and "invitation" to the Workshop
Letter, D. Bjorner->A.P. Ershov, 09.02.1987with urgent questions to A.P. Ershov about the Soviet delegation
Justification, 10.02.1987for sending A.P. Ershov, A. Zamulin and M. Bulyonkov to Denmark for participation in the Workshop
Letter, D. Bjorner->J. McCarthy, 11.02.1987invitation to take part in the Workshop
1
2
3
4
5
6
7
8
9
Initial order | In alphabetical order | By date |