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.

Our goal is to deepen understanding, explore new ideas, collaborate on new projects, and discuss notable existing projects (like seL4, CompCert, Idris, Quickcheck, Dafny, and more). The group fosters meaningful conversations and networking, providing opportunities to connect with like-minded peers and experts in the field. Whether you’re a seasoned professional or just starting to explore formal methods (assuming at least some computer science, mathematics, or software engineering background), we welcome you to join us for presentations, discussions, and growth.