Workshop Cambridge 1986

From my collection: picture of Edsger W. Dijkstra and a colleague in Cambridge, 1986.



Comments on pictures

It is now possible to add comments to pictures.

Unfortunately, due to a high volume of spam, we now require a CAPTCHA to be solved for all comments of anonymous users. Even a simple CAPTCHA reduces the spam volume that we manually have to plow through by an order of magnitude, which reduces the chance that we accidentally delete legitimate comments.

People in photo

Is Dijkstra talking to W(im).H.J.Feijen? It would be nice to know if it is.

I also recognize the person in the background but forget the name. If it is who I think it is, he worked in Edinburgh and then in Oxford on automated theorem proving.

People in photo

I don't know who the other two people in the picture are. I'm hoping the problem will be solved in the near future. If anyone knows who these people are, please drop a line.

best wishes,