One folder of technical papers, drafts and notes for lectures on programming, 3-page draft on 'Other Problems', 1 page on 'Machine Design', 1 page on 'Artificial Intelligence'. Also includes notes on 'Automatic Abstracting'.

Strachey delivered lectures on the mathematical concepts underlying programming languages, and to CERN to talk about time-sharing. Includes correspondence, travel documents and notes of expenses.

Seminar held at Liverpool University, 31 March-1 April 1965. Includes correspondence, programme, and information for participants.

Conference held at Southampton, July 1965. Includes: Programme, list of participants, and correspondence regarding arrangements for Strachey's lecture. Synopsis of Strachey's contribution, 'Computer Programming'. Two sets of manuscript notes 'Solutions to examples' for the class following the lecture. Copies of synopses and example sheets for...

Preliminary notices and planning papers. Programme and list of participants. Correspondence regarding organisation of sessions and subsequent publication in Communications of the ACM. Strachey's notes on descriptive languages, list of 'Words which are not well understood' (see MS. Eng. misc. b. 271/C.180), 'How is translating like other data processing?'. A.C.M. Working Conference, San Dimas, California, 8-12 August 1965. Strachey...

Correspondence regarding arrangements for Strachey's lectures, and organisation of the summer school. Preliminary notices, list of participants, programme, and correspondence regarding publication. This Summer School was sponsored by the NATO Science Committee, organised under the auspices of the Technical University of Denmark, 7-25 August 1967. Strachey delivered a course of lectures called 'Fundamental Concepts in Programming Languages'. He wrote the lectures up...

Copies of other papers presented at the A.C.M. Working Conference.

Seminar held at the University of Bergen, 6-8 February 1967. Strachey's talk was called 'The Economics of Time Sharing in a Not Perfectly Affluent Society'. Includes correspondence, programme, and list of participants. Manuscript draft of talk; several sets of notes (11 pages in total).

Two-page typescript abstract and 1-page outline of Strachey's lectures. Includes: Manuscript draft of lectures, 34 pages. Typescript, annotated 24 pages. 'Some remarks on C. Strachey's lectures', a typescript of the talk by R.M. Burstall, who conducted the closing discussion after Strachey's lectures.

Printed material distributed at conference. Includes stencilled copy of notes distributed by M. Nivat prior to his address at one of the closing sessions.

Symposium held at Girton College, Cambridge, 8-12 August 1969. Strachey gave a talk 'Is Computing Science?' which was later published in the Bulletin of the Institute of Mathematics and its Applications, 1970. Includes: Correspondence regarding the organisation of the Symposium and publication of its proceedings. Several versions of Strachey's...

Conference held in Rome, 27-31 October 1969. Includes: Formal notification of conference, list of participants, and correspondence regarding publication of the conference proceedings. Papers regarding the proposed establishment of the International Institute for Software Engineering.

Visit to Germany, 7-16 December 1969, sponsored by the British Council. Strachey visited the Institut für Mathematik und Datenverarbeitung in Bonn and the Technical University in Munich but had to cancel his lectures in Erlangen due to illness. Includes: Correspondence regarding arrangements for the trip (lecture schedule, topics, travel documents). Itinerary and programme as...

Symposium sponsored by Infotech, March and May 1970. Strachey spoke on 'The Influence of Software on Machine Design' in the 'Fourth Generation' series of lectures in May. Includes: Correspondence, programme, and list of speakers. Printed abstracts of talks by participants, including a synopsis of Strachey's contribution.