Formal Ferris

Don't forget to come tonight to our November RFMIG where we'll hear about Aquascope: rust-formal-methods.github.io/meetings/aquas…

that's now!

Don't forget RFMIG is back on the 28th with a talk on verifying unsafe code with VeriFast: rust-formal-methods.github.io/meetings/verif…

If you missed the talk yesterday, don’t fret you can watch it on YouTube: youtube.com/watch?v=j60gcd… Additionally, don’t forget to come for our meeting on October 28th on verifying unsafe code with VeriFast!

It’s now!

That’s today! In two hours!!

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: rust-formal-methods.github.io/meetings/contr…

Did you miss me? Formal Ferris & the RFMIG will be back for another by year of great talks starting September 24th (upcoming announcement)!

Here's the video: youtube.com/watch?v=Za-_Ju…

That’s now!!

Don’t forget to signup for this months RFMIG, on a tool useful for all verification platforms: the Axiom Profiler! eventbrite.fr/e/debugging-sm…

#narrow/stream/183875-wg-formal-methods/topic/RFMIG.20March" target="_blank" rel="nofollow noopener">rust-lang.zulipchat.com/#narrow/stream…

That's in 20 minutes! I'll post a zoom link on the rust-lang zulip for those who couldn't get tickets on eventbrite.

@SachaAyoun eventbrite has decided to limit us to 25 seats per event. until we replace it, dm me if no tickets are available.

Our next meeting will be on verification of unsafe Rust with @SachaAyoun, the event info can be found here: eventbrite.fr/e/gillian-rust…

You can find the link here: #narrow/stream/183875-wg-formal-methods/topic/January.20Meeting" target="_blank" rel="nofollow noopener">rust-lang.zulipchat.com/#narrow/stream…

does anyone know of an OSS EventBrite alternative? I'm just looking for something to mediate access to a zoom link which I don't want to post publicly

Due to changes in EventBrite's free plan, we ran out tickets for today's event, don't worry, I'll post the zoom link ahead of time!