If you missed the talk yesterday, don’t fret you can watch it on YouTube: https://t.co/Ip8basXs1J
Additionally, don’t forget to come for our meeting on October 28th on verifying unsafe code with VeriFast!
We’re back! On September 30th, we’ll hear about @.pnkfelix’s plans to integrate contracts into the rust compiler.
Get the meeting link and abstract here: https://t.co/TGOzrbtxfR
We’re back! On September 30th, we’ll hear about @.pnkfelix’s plans to integrate contracts into the rust compiler.
Get the meeting link and abstract here: https://t.co/TGOzrbtxfR
We’re back! On September 30th, we’ll hear about @.pnkfelix’s plans to integrate contracts into the rust compiler.
Get the meeting link and abstract here: https://t.co/TGOzrbtxfR
As part of the back-to-school clean ups, I’ve rebuilt the RFMIG website, it now has the complete list of meetings past and future. Going forward we’d like to avoid eventbrite, let us know if this new setup works for you or not!
We’re back! On September 30th, we’ll hear about @.pnkfelix’s plans to integrate contracts into the rust compiler.
Get the meeting link and abstract here: https://t.co/TGOzrbtxfR
here we go! This month we will meet one week early on Jan. 22 to hear @_protz_ talk about HACL-Rust and Eurydice. Make sure to join us!
https://t.co/7c5SVWn12p