About us
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.
Featured event
Austin Formal Methods Meetup - September 30th, 2026
UPDATE: September 2026
This month, we will be meeting on September 30th (not September 23rd) to discuss recent advancements in the seL4 ecosystem, and to take a look at some of the relevant proofs. Come see what all the fuss is about as we have interesting conversations over pizza and beer!
---
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 STATION Austin for sponsoring Austin Formal Methods User Group! STATION Austin is the center of gravity for entrepreneurs in Texas. Day and night, in-person and online, we gather the best founders, programmers, and designers outside of Silicon Valley and introduce them to investors, employees, and customers who help their ideas launch. STATION Austin is powered by Capital Factory, whose investments and leadership have helped power the Texas startup ecosystem for more than a decade. To sign up for a STATION Austin membership, click here.
Thank you to Zulip for sponsoring Austin Formal Methods User Group! Zulip is an organized team chat app designed for efficient communication. For access to the Formal Methods User Group's invite-only Zulip chat, contact Charlie or one of the other admins.
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 STATION Austin (at the northeast corner of 7th and Brazos downtown). We will be meeting in the Antone's room on the 16th floor of STATION Austin. The 16th floor should be accessible from the elevators near the Security desk.
Parking
There is paid parking in the garage below STATION Austin and the Omni Hotel. The entrance to the parking garage is on Brazos immediately north of 7th street. The STATION Austin 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 STATION Austin and the Omni Hotel, and so it should be fully ADA compliant.
Upcoming events
2
Austin Formal Methods Meetup - September 30th, 2026
STATION Austin, 701 Brazos St., Austin, TX, USUPDATE: September 2026
This month, we will be meeting on September 30th (not September 23rd) to discuss recent advancements in the seL4 ecosystem, and to take a look at some of the relevant proofs. Come see what all the fuss is about as we have interesting conversations over pizza and beer!---
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 STATION Austin for sponsoring Austin Formal Methods User Group! STATION Austin is the center of gravity for entrepreneurs in Texas. Day and night, in-person and online, we gather the best founders, programmers, and designers outside of Silicon Valley and introduce them to investors, employees, and customers who help their ideas launch. STATION Austin is powered by Capital Factory, whose investments and leadership have helped power the Texas startup ecosystem for more than a decade. To sign up for a STATION Austin membership, click here.Thank you to Zulip for sponsoring Austin Formal Methods User Group! Zulip is an organized team chat app designed for efficient communication. For access to the Formal Methods User Group's invite-only Zulip chat, contact Charlie or one of the other admins.
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 STATION Austin (at the northeast corner of 7th and Brazos downtown). We will be meeting in the Antone's room on the 16th floor of STATION Austin. The 16th floor should be accessible from the elevators near the Security desk.Parking
There is paid parking in the garage below STATION Austin and the Omni Hotel. The entrance to the parking garage is on Brazos immediately north of 7th street. The STATION Austin 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 STATION Austin and the Omni Hotel, and so it should be fully ADA compliant.6 attendeesAustin Formal Methods Meetup - November 4th, 2026
STATION Austin, 701 Brazos St., Austin, TX, USAustin 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 STATION Austin for sponsoring Austin Formal Methods User Group! STATION Austin is the center of gravity for entrepreneurs in Texas. Day and night, in-person and online, we gather the best founders, programmers, and designers outside of Silicon Valley and introduce them to investors, employees, and customers who help their ideas launch. STATION Austin is powered by Capital Factory, whose investments and leadership have helped power the Texas startup ecosystem for more than a decade. To sign up for a STATION Austin membership, click here.Thank you to Zulip for sponsoring Austin Formal Methods User Group! Zulip is an organized team chat app designed for efficient communication. For access to the Formal Methods User Group's invite-only Zulip chat, contact Charlie or one of the other admins.
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 STATION Austin (at the northeast corner of 7th and Brazos downtown). We will be meeting in the Antone's room on the 16th floor of STATION Austin. The 16th floor should be accessible from the elevators near the Security desk.Parking
There is paid parking in the garage below STATION Austin and the Omni Hotel. The entrance to the parking garage is on Brazos immediately north of 7th street. The STATION Austin 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 STATION Austin and the Omni Hotel, and so it should be fully ADA compliant.1 attendee
Past events
22
