Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Workshop on Partial Evaluation and Mixed Computation
Preparation for the Workshop
Covering letter, 31.08.1987
to bibliography on Partial Evaluation and Mixed Computation
List, 12.10.1987
Telegram, D. Bjorner->A.P. Ershov, 09.10.1987
about the decision to fund for 9 days Dr. N.N. Nepeivoda
Telegram, D. Bjorner->A.P. Ershov, 08.10.1987
a request to cable urgently all arrival-departure information
Letter, A.P. Ershov->D. Bjorner, 31.08.1987
as a PC member, A.P. Ershov submits his considerations as amendments to the final program of the Workshop; his Evaluation Table is attached
Note (hand-written), 01.09.1987
the state of things concerned with the trip to Denmark
Telegram, A.P. Ershov->D. Bjorner, 03.09.1987
about the final program of the Workshop
Memo, A.P. Ershov->V. A. Koptyug, 04.09.1987
to Acad. V.A. Koptyug with a request to accelerate preparation of V.E. Itkin's documents for going to Denmark; it is delayed since there is no recommendation from the Regional Committee of CPSU
Note (hand-written), 16.09.1987-17.09.1987
about a call to Foreign Relations Department of USSR AS
Letter (hand-written), A.P. Ershov->E. P. Velikhov, 17.09.1987
to Acad. E.P. Velikhov with a request to do everything in his power for not changing the membership of the Soviet delegation to the Workshop
Note (hand-written), 17.09.1987
with the phone numbers
Telegram, J. Steensgaard-Madsen->A.P. Ershov, 18.09.1987
A.P. Ershov is invited to make a presentation for a broad audience in Copenhagen
Letter, A.P. Ershov->A. I. Zhuchkov, 19.09.1987
to Novosibirsk Regional Committee of CPSU with a request to render assistance in including M.A. Bulyonkov, B.N. Ostrovsky and V.E. Itkin in the Soviet delegation to the Workshop; additional justification for their participation in the Workshop is attached
Telegram, A.P. Ershov->J. Steensgaard-Madsen, 21.09.1987
with the title of the lecture (in Copenhagen)
Note (hand-written)
the preliminary list of the Soviet delegation
Telegram, D. Bjorner->A.P. Ershov, 03.10.1987
that the Ershov's letter with amendments to Workshop Programme is received
Telegram, D. Bjorner->A.P. Ershov, 05.10.1987
a request for all information on arrival-departure, visa status and so on...
Memo, A.P. Ershov->С.В. Кузнецов, 08.10.1987
about making copies of Soviet papers on mixed computation
Telegram, D. Bjorner->A.P. Ershov, 08.10.1987
Prof. Bjorner has information about visas for the Soviet delegation and is preoccupied with the fact that M. Bulyonkov probably will not attend the Workshop
Notes (hand-written), A.P. Ershov->D. Bjorner, 08.10.1987
a sketch of Ershov's call to Prof. Bjorner (in reply to his telegram of 8.10.87)

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