Re rebooting rust formal methods IG

The Formal Methods group was started and then restarted in 2018. We are now making a second reboot of the formal methods interest group. A first video call will be held on 20 September. All are invited.


This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.