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: Apollo (1st Floor) Room: Apollo (1st Floor) Event details: https://stationaustin.org/event/austin-formal-methods-meetup-2/

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