Topic: BOF at Conference?
Tim Daly (Dec 15 2019 at 02:48):
I'm interested in proving programs correct (mathematical programs like the GCD). If anyone is interested in a Birds-Of-A-Feather (BOF) gathering to discuss this at the January conference please send me an email (email@example.com).
Last updated: May 14 2021 at 23:14 UTC