Copies of abstracts of the lecture courses at the Summer School.

Symposium sponsored by Infotech, February 1971. Strachey spoke on 'Varieties of programming language: Language comparison techniques', in the 'High Level Languages' series of lectures. Includes: Correspondence, programme, and list of speakers. Printed summaries of talks by various participants, including a synopsis of Strachey's contribution. Correspondence...

Visit to Denmark to lecture in Aarhus and Copenhagen, September 1971. Includes correspondence regarding arrangements for Strachey's visit.

This was the fourth in a series of International Seminars in Computing Science sponsored by I.B.M. and the University of Newcastle, held in Newcastle, 7-10 September 1971. Strachey had intended to participate but a change in scheduling of his lectures in Denmark (see MS. Eng. misc. b. 299/H.29) made it impossible for him to attend. Correspondence regarding travel and conference arrangements, programme, and lists of participants and speakers. Folder also includes...

Symposium organised by the European Chapters of the A.C.M. in cooperation with the Associazione Italiana Calcolo Automatico, Venice, 12-14 April 1972. Strachey presented a paper 'Varieties of Programming Languages'. See MS. Eng. misc. b. 293/F.57-MS. Eng. misc. b. 293/F.59 Includes: Correspondence, programme, and list of participants. One-page abstract and 12-page...

Conference held at the University of Waterloo, 2-3 October 1972. Strachey gave a position paper on 'The Academic Viewpoint'. Includes: Two-page typescript synopsis of Strachey's presentation. Twenty-seven-page partial transcript of the talk. Correspondence, list of participants, and a copy of the proceedings with a report on Strachey's talk. ...

Workshop sponsored by the Office of Scientific and Technical Information, 20-21 November 1972, Watford. Includes programme, list of participants, abstracts and printed copies of some of the lectures given. (Strachey was not one of the speakers.)

Colloquium held at the University of Bristol, 16-20 July 1973. Strachey presented a paper on 'Some Unsolved Problems in the Theory of Computation'. Includes: Correspondence, preliminary notices, programme, and list of participants. Typed abstract and 2-page manuscript notes for Strachey's contribution, July 1973.

Conference held at Loughborough University of Technology, 9-11 July 1973. Strachey spoke on 'How can we put programming theory into practice?'. Includes: Correspondence, list of delegates, and transcript of questions and answers at the discussion following Strachey's lecture. Two-page manuscript notes and 20-page typescript (+ 1-page abstract and 1-page bibliography) of...

A course held at the Stefan Banach International Mathematical Center, Warsaw, January-June 1974. Strachey planned to attend during April but had to cancel his visit owing to pressure of work in Oxford. Includes correspondence and programme.

Presentation set up by Computers, Systems and Electronics Requirements Board of the Department of Industry in 1974 'to study the background to programming methodology, for future real-time computing systems'. Strachey spoke on 'Problems of specifying languages and their influence on machine design', 20 January 1975. Includes Strachey's 3-page manuscript draft and typescript extracts from the minutes of the meeting of 20 January summarising Strachey's presentation and comments,...

Shorter correspondence regarding conferences, symposia, overseas visits, etc.

Shorter correspondence regarding conferences, symposia, overseas visits, etc.

Shorter correspondence regarding conferences, symposia, overseas visits, etc.

Shorter correspondence regarding conferences, symposia, overseas visits, etc.

Includes: Correspondence regarding meetings of the Advisory Committee, and copies of invitations to prospective speakers, sent to Strachey for information. Minutes of the meetings of the Advisory Committee, committee papers, and timetables. Bulletins 1 and 3. Strachey's manuscript notes taken at the meetings. CERN...