Rust Formal Methods Interest Group

Rust Formal Methods Interest Group

The Rust Formal Interest Group hosts monthly seminars to showcase the work being done by researchers, hobbyists and industrial users of formal methods in Rust.

Contact the organizer

Frequently asked questions:

Have a question for the organizer?

Check the event page for more information or

Share

Rust Formal Methods Interest Group

Contact the organizer

Frequently asked questions:

Have a question for the organizer?

Check the event page for more information or

Nothing planned right now

Follow this organizer to stay in the loop for future plans