Austin Formal Methods Meetup - December 2025 - Edukera at Diogenes!

HOLIDAY PARTY 2025
We've had discussed many topics, but it is finally time to get our hands dirty with some formal proofs! For our holiday event, we will be working through some exercises in Edukera while we enjoy tamales and cookies. Due to holiday scheduling conflicts, we won't be meeting at our usual time and location. Instead,, we will be meeting at Diogenes on the first Wednesday of December.

NOTE: We still plan to return to Capital Factory for our 2026 meetups, but we thank Diogenes Makerspace for generously allowing us to use their space for our event.

-----

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.