Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Workshop on Partial Evaluation and Mixed Computation
Preparation for the Workshop
Letter, R. E. A. Mason->D. Bjorner, 09.09.1986
about financial support of the Workshop
Preliminary information, 15.09.1986
Plans of the Workshop, including the theoretical part with basic notions of partial and mixed computation
List
of purchases to be done in Denmark for Ershov's family
Note, 02.10.1986
B.N. Ostrovski's address
Announcement, 15.10.1986
information 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.1986
First announcement and other materials on the Workshop
Letter, 17.02.1987
a copy of the "First Announcement" dated October 20, 1986
Telegram, A.P. Ershov->D. Bjorner, 18.12.1986
about the final number of Soviet participants
Biographical information, 23.12.1986
about N.N. Nepeivoda (for preparation of documents for getting visa to Denmark)
Letter with Attachment, 04.11.1986
TC-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.1987
with the list of Soviet participants invited at the cost of Organizing Committee
Postcard, D. Bjorner->A.P. Ershov, 11.01.1987
informs about 7 Japanese scientists wishing to attend the Workshop
Letter, T. I. Yuganova->A.V. Zamulin, 16.01.1987
information about the English variant of the paper
Letter, N. N. Nepeivoda ->A.P. Ershov, 21.12.1986
information about the Workshop and his private life
Letter, D. Bjorner->A.P. Ershov, 30.01.1987
about the trips of his family and other events of 1986
Letter, 08.02.1987
about a more definitive "Call for papers" and "invitation" to the Workshop
Letter, D. Bjorner->A.P. Ershov, 09.02.1987
with urgent questions to A.P. Ershov about the Soviet delegation
Justification, 10.02.1987
for sending A.P. Ershov, A. Zamulin and M. Bulyonkov to Denmark for participation in the Workshop
Letter, D. Bjorner->J. McCarthy, 11.02.1987
invitation to take part in the Workshop

1 2 3 4 5 6 7 8 9
Initial order | In alphabetical order | By date

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016