Formal Reasoning about Financial Systems | Workshop at Gates 403, Stanford Computer Science