Austin Formal Methods Meetup - November 4th, 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 STATION Austin for sponsoring Austin Formal Methods User Group! STATION Austin is the center of gravity for entrepreneurs in Texas. Day and night, in-person and online, we gather the best founders, programmers, and designers outside of Silicon Valley and introduce them to investors, employees, and customers who help their ideas launch. STATION Austin is powered by Capital Factory, whose investments and leadership have helped power the Texas startup ecosystem for more than a decade. To sign up for a STATION Austin membership, **[click here](https://stationaustin.org/commons/)**. Thank you to Zulip for sponsoring Austin Formal Methods User Group! [Zulip](https://zulip.com/) is an organized team chat app designed for efficient communication. For access to the Formal Methods User Group's invite-only Zulip chat, contact Charlie or one of the other admins. **Schedule** * 6:30-7:00 - Meet and greet, eat pizza, drink beer (responsibly!)