CanFP Monthly meetup
Details
Talks this month (PLEASE NOTE THE NEW TIME):
Antony will be talking about implementing lock free AtomicArc in Rust
Adrian will be talking about the Coq proof assistant
Invite your friends and colleagues, and we'll see you there!
- Alex