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

of Jones' talk on challenging problems in PE&MC

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

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

of some Workshop participants

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)

First announcement and other materials on the Workshop

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

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.

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

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.

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.

first notes during the panel discussion

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

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

about approval of Bjorner&Jones invitation

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