Collection

RFMIG

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, May 27 • 7:00 PM GMT+2

    Free

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

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

    Verifying a Concurrent Memory Allocator with Verus

    Mon, Nov 27 • 7:00 PM GMT+1

    Free

Share

Organizer of RFMIG