An Axiomatic Basis for Computer Programming (w/ Papers We Love Meetup)

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"

https://www.meetup.com/Papers-We-Love-DC-NoVA/events/bpckxlyxqbjc/

-------

We're looking for speakers! It's OK if you've never spoken before or if you've spoken hundreds of times, we want to hear from you!

We're looking for talks about anything interesting to programmers, come share about your favorite language or framework, or learn something new and talk about how it went! We're hoping for talks about anything but here are a few things members have mentioned wanting to learn about recently: Go, C, C++, Haskell, Erlang, and Elixir.

Contact Jess or Brock on the left or through whatever means you have :)