Strachey was invited to become a member of the Advisory Committee when it was formed in 1971. Correspondence and committee papers.

This Association was formed in 1972 and held its first meeting in Warwick, March 1973. Brief correspondence regarding the Association and the meeting.

Symposium on Advanced Computer Organization, I.F.I.P. Congress, Munich, 27 August-1 September 1962. Strachey did not attend the Congress. Prospectus. Correspondence regarding the invitation to Strachey to be one of the speakers (invitation declined; David Wheeler was the UK representative).

Includes programme, list of participants, correspondence. Strachey contributed a paper 'Towards a Formal Semantics' which was not published until 1966 in Formal Language Description Languages for Computer Programming, ed. T.B. Steel Jr., North Holland. Strachey described this paper as 'the beginning of a mathematical (as opposed to operational) approach to formulating the semantics of a programming language'.

This Conference was sponsored by Technical Committee No. 2. Strachey chaired one of the sessions. Folder includes invitation, programme, list of participants, information regarding arrangements for the conference, 4-page typescript by Strachey 'of what I would have liked to say' for publication in the proceedings (on a 'tree sort', in CPL).

Miscellaneous papers and correspondence regarding I.F.I.P. meetings: Technical Committee No. 2 Working Conference, Oslo 1967, on 'Simulation Languages'. I.F.I.P. Congress, Edinburgh, August 1968. Technical Committee No. 2 Working Conference, Norway, August 1973. Technical Committee No. 2 Working Conference, Hungary, September 1975. …

'Software workshop'. Strachey's tagged folder of papers and correspondence regarding the establishment of a national software workshop/research centre. Draft papers were prepared by D. Michie and Strachey (June-September 1966) and were discussed at various meetings with colleagues. See also the Minutes of the Committee for 21 February 1967 when the workshop was discussed (included in MS. Eng. misc. b. 287/E.42). The folder includes various drafts for…

S.R.C. Working Group on Computer Education. Strachey and N.S. Sutherland were asked by the Computing Science Committee to prepare a paper 'embodying members' criticisms of the Report' of the Working Group. Strachey's tagged folder includes correspondence and comments by other members of the Computing Science Committee, drafts of Strachey's and Sutherland's paper, final agreed copy of the Computing Science Committee's comments and of the Mathematics Committee's comments.

Reports on grant applications, research projects, visits to laboratories, research teams, etc.

Reports on grant applications, research projects, visits to laboratories, research teams, etc.

In 1967 Technical Committee No. 2 (Programming Languages) established 'a working group on the problem of formal language description languages for the purpose of creating some order in the area of describing programming languages for digital computers'. Strachey served as a member of this working group from its inception. Includes correspondence, lists of members, notices of meetings, and discussion of topics to be covered. See also Strachey's correspondence with the Science…

Folder of Strachey's notes on technical papers and questions for discussion at Working Group 2.2 meeting, Copenhagen, July 1968. Includes 3-page typescript 'Some Features of Programming Languages', notes on types, 1st and 2nd class objects, L and R values, sequencing, definitional structure, etc. and a copy of Strachey's letter to D. Scott, 3 September 1969.

At its meeting in October 1969 the I.F.I.P. General Assembly authorised the establishment of a Working Group on Programming Methodology. Strachey served as a member of Working Group 2.3 from its inception. See note by M. Woodger, Chairman of Working Group 2.3, 22 December 1969, on the origin and background of the Working Group. Includes correspondence, lists of members, notices of meetings, agenda, informal minutes (including extensive sets of informal notes by the chairman) of…

Letter of invitation to serve on the Committee, correspondence regarding meetings and visits, Committee papers, letter of thanks on termination of service.