Austin Formal Methods Meetup

Formal Methods are techniques and tools which use rigorous mathematical logic to design, analyze, and verify systems with provable properties like correctness, reliability, and security.The Austin Formal Methods User Group is a community for those passionate about the wide-ranging field of formal methods. Our interests span interactive theorem provers, SAT/SMT solvers, type theory, temporal logic, model checking, correct-by-construction, AI robustness, and more. We aim to bring together engineers, researchers, students, and professors from academia and industry - whether or not they currently use formal methods in their work.

More Austin events on Wednesday, November 4, 2026 · More Community events