Austin Formal Methods Meetup - June 2025 - seL4 at Diogenes this month!

JUNE 2025 UPDATE
For our June 2025 meetup, we will finally start our journey into seL4! Be sure to bring your laptop as we will start working on the seL4 Microkit tutorial, and it would be better to try it out rather than just watching someone else.

NOTE: For our June 2025 meetup, we will be meeting at Diogenes Makerspace (1917 Hydro Dr, Austin, TX 78728). We will return to Capital Factory for our July 2025 meetup.

-----

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 more information about Zulip, click here. To get access to the Austin Formal Methods User Group Zulip, contact Charlie or Rob.

Schedule

• 6:30-7:00 - Meet and greet, eat pizza, drink beer (responsibly!)
• 7:00-9:00? - Main presentation

Location
For June 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 parking around the building that Diogenes Makerspace is in.