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.

3 Likes