Inaugural Meeting

September 21 2021 - 00:00UTC

During this meeting, we will introduced the RFMIG, and had a presentation from Vytautas Astraukas of Prusti, showing a little glimpse of verification for Rust software.

Youtube recording

Previous events