Austin Formal Methods Meetup - June 2026 at Diogenes Makerspace

UPDATE FOR JUNE 2026
For our regular June 2026 meeting, Austin Formal Methods User Group will be meeting at Diogenes Makerspace, where we will start playing with Benjamin Pierce's Software Foundations series. Be sure to bring your laptops so that you can tag along!

NOTE: We plan to return to STATION Austin next month, but we thank Diogenes Makerspace for once again 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!

Sponsors
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-9:00 - Main presentation
• 9:00-9:15 - Clean up

Location
For June 2025, we will be meeting upstairs at Diogenes Makerspace instead of at STATION Austin. 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.