For two days, we had two speakers in the morning and three speakers in the afternoon:
-- R. Kowalski, D.A. Turner
-- D.I. Good, R. Milner, P. Martin-Löf (a last-minute replacement of D.S. Scott, who had suddenly decided not to show up)
-- E.M. Clarke, L.G. Valiant
-- J.R. Abrial, C.A.R. Hoare, E.W. Dijkstra. "
Un compte rendu de Dijkstra