What we’re about
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.
Upcoming events (4+)
See all- Austin Formal Methods Meetup - May 2025Capital Factory, Austin, TX
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 Capital Factory for sponsoring Austin Formal Methods User Group! Capital Factory is the center of gravity for entrepreneurs in Texas. They meet the best entrepreneurs in Texas and introduce them to their first investors, employees, mentors, and customers. To sign up for a Capital Factory membership, click here.Schedule
- 6:30-7:00 - Meet and greet, eat pizza, drink beer (responsibly!)
- 7:00-8:30 - Main presentation
- 8:30-8:45 - Clean up
Location
We will be meeting at Capital Factory (at the northeast corner of 7th and Brazos downtown). We will be meeting in the Apollo room on the first floor of Capital Factory. If entering the main doors of the Voltron room (near the gift shop), turn left and walk down the hallway.Parking
There is paid parking in the garage below Capital Factory and the Omni Hotel. The entrance to the parking garage is on Brazos immediately north of 7th street, just before the Capital Factory sign sticking out of the side of the building. The Capital Factory website also has information about additional parking options, though some of the member-specific info may or may not be relevant.Accessibility
This building is shared between Capital Factory and the Omni Hotel, and so it should be fully ADA compliant. - Austin Formal Methods Meetup - June 2025Capital Factory, Austin, TX
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 Capital Factory for sponsoring Austin Formal Methods User Group! Capital Factory is the center of gravity for entrepreneurs in Texas. They meet the best entrepreneurs in Texas and introduce them to their first investors, employees, mentors, and customers. To sign up for a Capital Factory membership, click here.Schedule
- 6:30-7:00 - Meet and greet, eat pizza, drink beer (responsibly!)
- 7:00-8:30 - Main presentation
- 8:30-8:45 - Clean up
Location
We will be meeting at Capital Factory (at the northeast corner of 7th and Brazos downtown). We will be meeting in the Apollo room on the first floor of Capital Factory. If entering the main doors of the Voltron room (near the gift shop), turn left and walk down the hallway.Parking
There is paid parking in the garage below Capital Factory and the Omni Hotel. The entrance to the parking garage is on Brazos immediately north of 7th street, just before the Capital Factory sign sticking out of the side of the building. The Capital Factory website also has information about additional parking options, though some of the member-specific info may or may not be relevant.Accessibility
This building is shared between Capital Factory and the Omni Hotel, and so it should be fully ADA compliant. - Austin Formal Methods Meetup - July 2025Capital Factory, Austin, TX
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 Capital Factory for sponsoring Austin Formal Methods User Group! Capital Factory is the center of gravity for entrepreneurs in Texas. They meet the best entrepreneurs in Texas and introduce them to their first investors, employees, mentors, and customers. To sign up for a Capital Factory membership, click here.Schedule
- 6:30-7:00 - Meet and greet, eat pizza, drink beer (responsibly!)
- 7:00-8:30 - Main presentation
- 8:30-8:45 - Clean up
Location
We will be meeting at Capital Factory (at the northeast corner of 7th and Brazos downtown). We will be meeting in the Apollo room on the first floor of Capital Factory. If entering the main doors of the Voltron room (near the gift shop), turn left and walk down the hallway.Parking
There is paid parking in the garage below Capital Factory and the Omni Hotel. The entrance to the parking garage is on Brazos immediately north of 7th street, just before the Capital Factory sign sticking out of the side of the building. The Capital Factory website also has information about additional parking options, though some of the member-specific info may or may not be relevant.Accessibility
This building is shared between Capital Factory and the Omni Hotel, and so it should be fully ADA compliant. - Austin Formal Methods Meetup - August 2025Capital Factory, Austin, TX
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 Capital Factory for sponsoring Austin Formal Methods User Group! Capital Factory is the center of gravity for entrepreneurs in Texas. They meet the best entrepreneurs in Texas and introduce them to their first investors, employees, mentors, and customers. To sign up for a Capital Factory membership, click here.Schedule
- 6:30-7:00 - Meet and greet, eat pizza, drink beer (responsibly!)
- 7:00-8:30 - Main presentation
- 8:30-8:45 - Clean up
Location
We will be meeting at Capital Factory (at the northeast corner of 7th and Brazos downtown). We will be meeting in the Apollo room on the first floor of Capital Factory. If entering the main doors of the Voltron room (near the gift shop), turn left and walk down the hallway.Parking
There is paid parking in the garage below Capital Factory and the Omni Hotel. The entrance to the parking garage is on Brazos immediately north of 7th street, just before the Capital Factory sign sticking out of the side of the building. The Capital Factory website also has information about additional parking options, though some of the member-specific info may or may not be relevant.Accessibility
This building is shared between Capital Factory and the Omni Hotel, and so it should be fully ADA compliant.
