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.
Featured event
Austin Formal Methods Meetup - October 2025 - Shannon Security at Diogenes!
OCTOBER 2025 UPDATE
Is there such a thing as perfect, unbreakable encryption? For our October 2025 meetup, we will be discussing Shannon Security! While Modern Cryptography allows us to avoid the practical shortcomings of theoretically perfect encryption (like One-Time Pad), the use of Formal Methods to study these modern alternatives can help unlock Cryptanalysis, breaking the Cryptography itself. Join us for pizza, beer, and our first journey into Claude Shannon's Information Theory!
NOTE: For our October 2025 meetup, we will be meeting at Diogenes Makerspace (1917 Hydro Dr, Austin, TX 78728). We plan to return to Capital Factory for our 2026 meetups.
-----
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.
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-9:00 - Main presentation
- 9:00-9:15 - Clean up
Location
For October 2025, we will be meeting upstairs at Diogenes Makerspace instead of at Capital Factory. Diogenes Makerspace is at 1917 Hydro Dr, Austin, TX 78728. If using Google Maps, it may be easier to search for "colette" (the night club next door).
Parking
There is free on-site parking around the building that Diogenes Makerspace is in.
Upcoming events
1
Austin Formal Methods Meetup - October 2025 - Shannon Security at Diogenes!
Diogenes Makerspace, 1917 Hydro Dr · Austin, TX, Austin, TX, USOCTOBER 2025 UPDATE
Is there such a thing as perfect, unbreakable encryption? For our October 2025 meetup, we will be discussing Shannon Security! While Modern Cryptography allows us to avoid the practical shortcomings of theoretically perfect encryption (like One-Time Pad), the use of Formal Methods to study these modern alternatives can help unlock Cryptanalysis, breaking the Cryptography itself. Join us for pizza, beer, and our first journey into Claude Shannon's Information Theory!NOTE: For our October 2025 meetup, we will be meeting at Diogenes Makerspace (1917 Hydro Dr, Austin, TX 78728). We plan to return to Capital Factory for our 2026 meetups.
-----
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.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-9:00 - Main presentation
- 9:00-9:15 - Clean up
Location
For October 2025, we will be meeting upstairs at Diogenes Makerspace instead of at Capital Factory. Diogenes Makerspace is at 1917 Hydro Dr, Austin, TX 78728. If using Google Maps, it may be easier to search for "colette" (the night club next door).Parking
There is free on-site parking around the building that Diogenes Makerspace is in.4 attendees
Past events
8
