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.1987about the decision to fund for 9 days Dr. N.N. Nepeivoda
Telegram, D. Bjorner->A.P. Ershov, 08.10.1987a request to cable urgently all arrival-departure information
Letter, A.P. Ershov->D. Bjorner, 31.08.1987as 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.1987the state of things concerned with the trip to Denmark
Telegram, A.P. Ershov->D. Bjorner, 03.09.1987about the final program of the Workshop
Memo, A.P. Ershov->V. A. Koptyug, 04.09.1987to 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.1987about a call to Foreign Relations Department of USSR AS
Letter (hand-written), A.P. Ershov->E. P. Velikhov, 17.09.1987to 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.1987with the phone numbers
Telegram, J. Steensgaard-Madsen->A.P. Ershov, 18.09.1987A.P. Ershov is invited to make a presentation for a broad audience in Copenhagen
Letter, A.P. Ershov->A. I. Zhuchkov, 19.09.1987to 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.1987with 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.1987that the Ershov's letter with amendments to Workshop Programme is received
Telegram, D. Bjorner->A.P. Ershov, 05.10.1987a request for all information on arrival-departure, visa status and so on...
Memo, A.P. Ershov->С.В. Кузнецов, 08.10.1987about making copies of Soviet papers on mixed computation
Telegram, D. Bjorner->A.P. Ershov, 08.10.1987Prof. 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.1987a 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 |