Formal Ferris

@rustlang formal verification interest group.

meetings every last monday of the month.

[Formal Ferris @FormalFerris]

Don't forget to come tonight to our November RFMIG where we'll hear about Aquascope: https://t.co/og03IIeW0P

[Formal Ferris @FormalFerris]

Don't forget to come tonight to our November RFMIG where we'll hear about Aquascope: https://t.co/og03IIeW0P

[Formal Ferris @FormalFerris]

that's now!

[Formal Ferris @FormalFerris]

Don't forget RFMIG is back on the 28th with a talk on verifying unsafe code with VeriFast: https://t.co/6CmZpouIAV

[Formal Ferris @FormalFerris]

Don't forget RFMIG is back on the 28th with a talk on verifying unsafe code with VeriFast: https://t.co/6CmZpouIAV

[Formal Ferris @FormalFerris]

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!

[Formal Ferris @FormalFerris]

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

[Formal Ferris @FormalFerris]

It’s now!

[Formal Ferris @FormalFerris]

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

[Formal Ferris @FormalFerris]

That’s today! In two hours!!

[Formal Ferris @FormalFerris]

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

[Formal Ferris @FormalFerris]

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!

[Formal Ferris @FormalFerris]

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

[Formal Ferris @FormalFerris]

Did you miss me?

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

[Formal Ferris @FormalFerris]

Here's the video: https://t.co/xwYu5VRytN

[Formal Ferris @FormalFerris]

Don’t forget to signup for this months RFMIG, on a tool useful for all verification platforms: the Axiom Profiler!

https://t.co/FV72Vm7wmN

[Formal Ferris @FormalFerris]

That’s now!!

[Formal Ferris @FormalFerris]

Don’t forget to signup for this months RFMIG, on a tool useful for all verification platforms: the Axiom Profiler!

https://t.co/FV72Vm7wmN

[Formal Ferris @FormalFerris]

Don’t forget to signup for this months RFMIG, on a tool useful for all verification platforms: the Axiom Profiler!

https://t.co/FV72Vm7wmN

[Formal Ferris @FormalFerris]

https://t.co/TyTLixw7Hw

[Formal Ferris @FormalFerris]

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.

[Formal Ferris @FormalFerris]

Our next meeting will be on verification of unsafe Rust with @SachaAyoun, the event info can be found here: https://t.co/Hxt2QJC7Gi

[Formal Ferris @FormalFerris]

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

[Formal Ferris @FormalFerris]

Our next meeting will be on verification of unsafe Rust with @SachaAyoun, the event info can be found here: https://t.co/Hxt2QJC7Gi

[Formal Ferris @FormalFerris]

You can find the link here: https://t.co/ueYBP7wjPU

[Formal Ferris @FormalFerris]

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!

[Formal Ferris @FormalFerris]

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

[Formal Ferris @FormalFerris]

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!

[Formal Ferris @FormalFerris]

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