Austin Formal Methods Meetup
January 28, 2026
@ 6:30 PM
@ 6:30 PM
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.
Location: Station Austin – 701 Brazos Street Austin, Texas 78701
Room: Antones (1st Floor)
Explore more events