about approval of Bjorner&Jones invitation

of the Conference with the list of topics and Program Committee members

with a request to include invitations of Bjorner and Jones in the plan of scientific communications of USSR AS

The author answers to the letter of April 27 and informs of planning of the addressee's and other scientists' visit to the USSR the next year. (Handwritten text)

1) Sales checks. 2) Entrance tickets. 3) Bar tickets. 4) A card for Teletel mail box. 5) A message of Neil Jones to A.Ershov. 6) A card of "NASA electronique". 7) Handwritten notes.

of Jones' talk on challenging problems in PE&MC

of Jones' talk "Binding time analysis for polyvariant mixed computation"

of some Workshop participants

first notes during the panel discussion

First announcement and other materials on the Workshop

The author informs that Academician E.Velikhov has approved the invitations of D.Bjorner and N.D.Jones. Formal letters will follow. (Handwritten text.)

"Challenging problems in PE&MC" by Neil D. Jones (with a hand-written part)

The author informs of change of the deadline for a publication of the proceedings on Partial Evaluation and Mixed Computation. The copy of this letter is sent to A.Ershov.

about Ershov's suggestions concerning paper refereeing and selection

with a request to make a list of "challenging problems" in mixed computation and partial evaluation, his own list is enclosed

A request by Neil D. Jones to send papers on mixed computation.

of the paper "Automatic Program Specialization: a Re-Examination from Basic Principles" by Neil Jones.

The author thanks for the letter of 11th Novemberand the enclosed addresses of the authors. She wants to know the date she can expect to receive the complete manuscripts for publication.

from the "Computing" journal devoted to the theory of partial evaluation that refers to Ershov's lecture at the Workshop