BOF at Conference?

Stream: general

[Tim Daly]

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 (axiomcas@gmail.com).