Contains: 'Computers and University Research' Four-page memorandum prepared by Strachey, June 1962, and circulated to the Department of Scientific and Industrial Research Working Party on Computer Science Also included is a copy of a 'Memorandum on a proposed research unit in computer science' by M.V. Wilkes, 16 March 1963, also prepared for Working Party. …

Contains: 'Research in the theory of computation and information processing' Manuscript draft (18 pages) and 2 typescripts (November 1963) of Strachey's application to the Department of Scientific and Industrial Research for a grant to establish a new unit for research in theory of computation A revised version, dated September 1964 and included here, was later used as…

Contains: Miscellaneous notes prepared by Strachey when writing the application Includes curriculum vitae, notes on salary scales and staff requirements, 'categories of the computing sciences', notes on 'M/c lang.'.

Folder of correspondence and papers documenting the preliminary negotiations which led to the establishment of the Programming Research Group. Includes: Draft application by L. Fox to the Department of Scientific and Industrial Research for a grant to Oxford University for research into non-numerical uses of computers, to be directed by Strachey (July 1964) Strachey's…

'Science Research Council Grant. Formal Documents'. Includes: Copies of submission to the Science Research Council, official correspondence with Science Research Council and Oxford University regarding original grant to establish the Programming Research Group and regarding the extension and supplementation of the grant Draft of letter by Strachey to the Science Research…

Folder inscribed 'Science Research Council Grant. General Accounts and Estimates' Correspondence with Oxford University and the Science Research Council regarding budget estimates, salaries, equipment, maintenance agreements Strachey's notes, calculations, drafts of letters and memoranda.

'Progress Reports. Science Research Council and University'. Four reports for the Computing Laboratory, Oxford, 1965-1966, 1966-1967, 1967-1968, 1968-1969 (one page typescript each). Five reports to the Science Research Council: 1965-1966 2-page typescript 1966-1967 2-page typescript 1967-1968 5-page typescript 1968-1969 13-page…

Various documents describing the work of the Programming Research Group, 1968-1974. All are stencilled copies of typescripts and are a useful supplement to the official reports in MS. Eng. misc. b 254/B.7. They were perhaps collated by Strachey when he was preparing the final report to the Science Research Council (MS. Eng. misc. b 254/B.9). Includes: Two notes prepared for prospective…

'Programming Research Group, Oxford. Final Report to the Science Research Council on Grant B/SR/14943. May 1974'. 29-page typescript. This official report is a careful detailed account of the origin and work of the Programming Research Group during the period of its support by the Science Research Council (1 July 1965-31 July 1974). Strachey discusses in the report the current work of the Group, the degree of success of its original aims, the results achieved, and also provides a…

Folder of correspondence with the Science Research Council with reference to queries regarding administration of the grant (provision for senior visiting fellows, additional equipment costs, allocation and apportionment of staff salaries, claims for travelling expenses to conferences). Folder includes a copy of a report by D. Park to the Science Research Council following visit to USA, May 1967, and also minor correspondence with Oxford University regarding revision and…

Folder of correspondence regarding arrangements for the Board of Visitors of the Science Research Council Computing Science Committee to inspect work of Programming Research Group, 20 October 1970. Folder includes one letter regarding visit by the Board on 2 June 1971.

Folder of correspondence regarding arrangements for visit by P.R. Odgers and S.F. Edwards of the Department of Education and Science to Science Research Council-supported groups in Oxford, 2 July 1974.

'Quinquennial Application (1972-1977), Oxford University'. Folder of correspondence and papers regarding submission by the Computing Laboratory. Includes: Drafts of application (by L. Fox) Estimate of annual cost of the Programming Research Group for 1972/1973 Copy of 'Report of the Committee set up by the Faculty Board [of Mathematics] to prepare…

Minutes and papers for 2 meetings (23 November and 11 December 1967). Papers include reports on ALGOL, COTAN maintenance, use of consoles and copies of Strachey's papers 'KDF 9 Software' and 'The Provision of Software'. Folder also includes minutes of meeting of senior staff of Oxford University Computing Laboratory and interdepartmental memorandum regarding Computing Science Departmental Committee.

Folder of papers and notes by Strachey for meetings within Programming Research Group. Manuscript notes by Strachey on 'Strings and Characters in BCPL'. Notes by other members of the Group on matters for consideration at the meetings.

Papers and minutes of the Computing Laboratory Sub-Committee, established to prepare submission to the Computer Board for new computing equipment and staff at Oxford. Questionnaire (December 1966) and resulting report (May 1967) on 'Computing in Oxford University'. Minutes of meetings on 5 April, 6 May, 31 May 1968. Correspondence. Cost comparison for central machine room hardware. 'Configuration for the New Machine', a 2-page memorandum by…

Papers regarding the supply of computer software to universities, as submitted to the Science Research Council and the Computer Board for increased funding. See MS. Eng. misc. b. 287/E.43 for similar material. 'The Provision of Software', a 2-page memorandum, 15 December 1967, sent by Strachey to B.H. (now Sir Brian) Flowers, Chairman of the Computer Board for Universities and Research Councils, and to F.J.M. Laver of the Ministry of Technology. Reply from Laver, 27 December…