Formal Methods and Program Correctness When: Tue October 21, 2025 06:00 PM to 08:00 PM Speaker: Brian E. Lavender Location: Bel Air #502 S.E.G.R. 4320 Arden Way Sacramento, CA 95864 We will talk about the use of SPARK/Ada to verify program correctness using automated tools. -- Brian Lavender https://www.brie.com/brian/ "There are two ways of constructing a software design. One way is to make it so simple that there are obviously no deficiencies. And the other way is to make it so complicated that there are no obvious deficiencies." Professor C. A. R. Hoare The 1980 Turing award lecture