Austin Formal Methods Meetup - June 2026

Austin Formal Methods Meetup Join us for an evening of program proofs, useful tools, rigorous techniques, vastly more secure and performant software, and lively discussions around the more mathematical approaches to theory and practice. Topics of discussion include interactive theorem provers, SAT/SMT solvers, type theory, temporal logic, model checking, correct-by-construction, AI robustness, and more. See you there! Sponsor Thank you to Capital Factory for sponsoring Austin Formal Methods User Group! Capital Factory is the center of gravity for entrepreneurs in Texas. They meet the best…