May 9, 2018
1:32 p.m.
Hillel Wayne and I would like to propose an Open Space on formal methods in software design. The title would be "Formal methods, TLA+, PlusCal, Alloy, etc." We're not sure yet when we'd have it, whichever one of us registers first will put a time on the board. Jay P.