Computation Club - 10 Technical Papers Every Programmer Should Read (At Least Twice) - C. A. R. Hoare's "An axiomatic basis for computer programming"

July 2, 2019 — 6:30 - 8:30pm

1-11 Hawley Crescent
London, Greater London

Simon Coffey @urbanautomaton

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!


Tom Stuart @tomstuart
mudge @mudge
Chris Patuzzo @chrispatuzzo
Simon Coffey @urbanautomaton
Mark Weston @MarkSimonWeston
Andrew @_ddrone_
casper @quackoverflow
Onur Satici @onur_satici