Collection

RFMIG

Rust Formal Methods Interest Group

125 followers

Events in this collection

No upcoming events

Follow Rust Formal Methods Interest Group to never miss a moment

Here’s what you may have missed

Debugging SMT issues: Axiom Profiler 2.0
Mon, May 27 • 7:00 PM GMT+2
Free
Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice
Mon, Jan 22 • 7:00 PM GMT+1
Free
Verifying a Concurrent Memory Allocator with Verus
Mon, Nov 27 • 7:00 PM GMT+1
Free

Rust Formal Methods Interest Group

Organizer of RFMIG

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.

RFMIG

Events in this collection

No upcoming events

Here’s what you may have missed

Debugging SMT issues: Axiom Profiler 2.0

Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice

Verifying a Concurrent Memory Allocator with Verus

Share

Rust Formal Methods Interest Group