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 primary image

    Debugging SMT issues: Axiom Profiler 2.0

    Mon 27 May, 19:00 CEST

    Free

  • Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice primary image

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

    Mon 22 Jan, 19:00 CET

    Free

  • Verifying a Concurrent Memory Allocator with Verus primary image

    Verifying a Concurrent Memory Allocator with Verus

    Mon 27 Nov, 19:00 CET

    Free

Share

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.