Join us for our third meeting reading through Michael Fogus’ “10 Technical Papers Every Programmer Should Read (At Least Twice)”, this time we’ll be reading C. A. R. Hoare’s “An axiomatic basis for computer programming”.

Quoth fogus:

I came to this paper late in my career, but when I finally found it I felt like I had been hit by a bus.

We’ll meet at FutureLearn’s office in Camden Town for 6:30 pm so please sign up and then inform reception that you’re here for Computation Club and someone will lead you to our regular meeting room on the ground floor.

We’ll be discussing the paper together section by section so please give it a go and we hope to see you there.

p.s. please check out our code of conduct before attending!

https://london.computation.club/