Correspondence, travel arrangements, list of speakers at the Mathematical session.

Strachey made the trip in order to attend the Association for Computing Machinery Conference, 19-21 June 1957, in Houston, Texas. While in the US he also visited the Lincoln Laboratories of M.I.T., the I.B.M. Laboratory at Poughkeepsie, N.Y., the University of Illinois, the Remington Rand Laboratory in Philadelphia and Bryn Mawr College. Strachey kept a notebook recording details of these visits (staff, equipment, programs, procedures, specifications and design of machines) as well as notes…

A Symposium held at the National Physical Laboratory, 24-27 November 1958. Includes: Lists of delegates. Copies of 3 papers presented at the symposium, including one by A.M. Andrew on 'Learning Machines'. Strachey commented on this paper, both at the Symposium and in the press. Folder includes Strachey's 1-page manuscript notes on the paper, 2 manuscript…

Printout of a computation of single and double digit decimal sums, prepared as background material for his comments above on A.M. Andrew's paper.

Symposium on Matrix Computations, sponsored by the Society for Industrial and Applied Mathematics, Gatlinburg, Tennessee, April 1961. Another symposium (with the same title) was held in Gatlinburg in April 1964. Strachey attended both symposia. On the 1961 visit he also spent some time at the Carnegie Corporation, M.I.T., and I.B.M. Includes: Correspondence regarding arrangements…

Strachey delivered a paper on 'Developments in mathematical and information processing languages', at a discussion on universal languages. Includes: Typescript drafts of various portions of his talk and a 5-page typescript summary for distribution at the session. Printed copy of B.V. Bowden's talk on 'The Impact of Automation'. Press-cuttings regarding…

Symposium sponsored by the International Computation Centre, Rome, 26-31 March 1962. Strachey was one of the panelists at the discussion on 'Metasyntactic and Metasemantic Languages'. Includes: Correspondence regarding arrangements for symposium and for travel. Printed material (programme, memoranda, etc.) distributed at symposium. The discussions were…

Conference sponsored by the British Computer Society and Northampton College of Advanced Technology, London, 17-18 April 1962. Includes: Correspondence, programme, and list of participants. Strachey's notes for his talk. (2 pages) 13-page transcript of Strachey's talk on 'Future Prospects' and transcripts of his several contributions to the discussion. …

Symposium held at the London School of Economics, 2-6 July 1962. Includes: Correspondence, programme, and list of participants. Abstract of Strachey's talk on 'Programming in Function Languages'. Copy of the paper by P. Wegner on 'Communication between independently translated blocks'.

Conference held at Hatfield College of Technology, 30-31 May 1963. Includes: Prospectus, programme, list of participants, and correspondence. Two-page manuscript note, transcript and revised typescript of Strachey's contribution 'What are the demands made by computer science on the educational systems'. This is a very interesting exposition by Strachey on the potential uses…

Correspondence between Strachey, Gill and Fox, regarding the organisation and the programme of the School (preliminary work began in 1961). Includes: Copies of letters from Fox to lecturers. Draft pamphlet with comments by Gill. List of participants. Programme. Correspondence regarding publication. The Summer School…