**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 STATION Austin for sponsoring Austin Formal Methods User Group! STATION Austin is the center of gravity for entrepreneurs in Texas. Day and night, i…
Open this event on awaresie to see it on the map, get directions, RSVP and chat with the other guests - no account needed.
More things to do in Austin, TX
Plan and gather with your community - private by design. No account needed, no password, no tracking cookies.