This month we are co-meeting with the Papers We Love meetup! We will be following their format ... basically we are joyously going to their meetup that is at the same time/place as our usual event :)
"An Axiomatic Basis for Computer Programming, presented by Hugo"
