Formal Methods at Scale - Oct. 9