on the 2nd meeting of the Organizing Committee for IFIP Working Conference on Symbol Manipulation Languages (Appendix C to the Minutes of the 6th TC2 meeting).

of the Organizing Committee of the Pisa Working Conference. (Appendix C to the Minutes of the 7th TC 2 meeting).