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.
November 2026
Su
Mo
Tu
We
Th
Fr
Sa
Nothing planned right now
Follow this organiser to stay in the loop for future plans