Austin Formal Methods User Group

UPDATE: January 2026
After exploring Edukera last month and Predicate Transformers earlier in the fall, we're ready to combine these concepts into a powerful system. This month, we'll use Isabelle to construct a tiny programming language with "concrete semantics". By formally defining not just the syntax but also the behavior of a programming language, we unlock the ability to create tools which can generate bug-free code! Join us for an evening of conversations about interactive theorem proving and programming language semantics 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!

Sponsors
Thank you to Station Austin for sponsoring the Austin Formal Methods User Group. Station Austin is the center of gravity for entrepreneurs in Texas. They bring together the best entrepreneurs in the state and connect them with their first investors, employees, mentors, and customers. To sign up for a Station Austin membership, click here.

Thank you to Zulip for sponsoring the Austin Formal Methods User Group! Zulip is an organized team chat app designed for efficient communication.

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 Antone's room on the 16th floor of Capital Factory. The 16th floor should be accessible from the elevators near the Security desk.

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
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 Wall-E room on the first floor of Capital Factory. The Wall-E room is right next to the southwest entrance to the building, near the Security desk.

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
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 Wall-E room on the first floor of Capital Factory. The Wall-E room is right next to the southwest entrance to the building, near the Security desk.

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
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 Wall-E room on the first floor of Capital Factory. The Wall-E room is right next to the southwest entrance to the building, near the Security desk.

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.