Dijkstra's Rallying Cry for Generalization is pleased to offer to its readers Chapter III of the book Studies in Operating Systems by R. M. McKeag and R. Wilson, edited by D H. R. Huxtable and published in 1976 by Academic Press:
I am spending my winter-holiday in a small cabin in the middle of Lapland. Days go in skiing, but in the evenings I have ample time to the latest EWD's (992–1000) which arrived already in late February. My normal working days are nowadays so full of all sorts off "duties", that interesting things have to be postponed to holidays. Anyway, I am enjoying EWD-series very much and eagerly waiting for the next thousand.
In his technical report (MR 34) of October 1961, Dijkstra explained why he viewed a good programming language to be one of a small number of very general concepts. To clarify, he used an analogy between mathematics and programming, an analogy which in later years would be scrutinized in several ways by his contemporaries. (See e.g. MacKenzie's 2004 book Mechanizing Proof: Computing, Risk, and Trust.)
In the late summer of 1981, Dijkstra gave several talks in Scotland and Newcastle. Here is an overview of his trip:
+ The Marine Hotel in North Berwick. The host was Mr. Hannah of Burroughs. The audience consisted of 10 men from various Burroughs plants in Europe. Dijkstra lectured for five successive days, between 6 and 7 hours per day. The "standard surprise" from the audience was that the universal quantification over the empty set yields true.
The theme of the International Summer School in Marktoberdorf was "Theoretical Foundations of Programming Methodology". The general pattern of the day was: two lectures — a break — two lectures — lunch — two lectures — break — discussion.
In his trip report, Dijkstra listed several speakers from that summer school: