Prof. E.Neuhold informs Working Group members about a travel support of 24 persons for the trip to Kyoto Conference and WG 2.2 Meeting, considers details of a group flight to Kyoto. A mail vote for (or against) the three-meeting absence rule of WG 2.2 is enclosed.

The author regrets that A.P.Ershov could not visit him in L-A and hopes to see him next year in Europe

of the WG meeting (Lyngby, Denmark; June 1980). The document contains also information on the decease of K.Elgot.

The last WG meeting in Lyngby has been quite successive. The next one will take place in Peniscola (Spain) in April-May 1981.

Comments by E.K.Blum on the proposed editorial policy for a TC 2 Journal. (Doc. "Dijon-3".)

of the WG meeting (Peniscola, Spain; April 1981). Part 2: Technical Sessions.

of the WG meeting (Venice; March 1983). Part 2: Technical Sessions.

of Administrative and Technical Sessions of the WG meeting (Passau, West Germany; May 1985).

of administrative sessions of the TC meeting.

of WG 2.2 Meeting, June 1-5 1987, in Sophia-Antipolis. (Administrative Sessions.)

about International Conference on "The Utilization of Formal Description Techniques" in Kyoto, Japan (August 23-26, 1978).

The author thanks the addressee for dedicating him paper published in BIT Vol.28 no.3. He estimates and gives notes to twenty papers by different authors.

Information on WG 2.2 activity during the last week of August 1986. There are attached data on persons proposed for membership in the Working Group, and minutes of the WG meeting (Denmark, 27-30.08.1986, both administrative and technical sessions). (Doc. "St.Pierre-15".}

proposal to publish an English translation of V.A. Tuzov’s article in the journal

Two reprints of papers are enclosed.