Formal Methods Study Session

EXPERIMENT: Formal Methods Study Session We've had great success with our presentation-style meetups on the fourth Wednesday of every month, but we now have people who would like to meet up for more informal tinkering sessions as well. So, in addition to our regularly-scheduled fourth Wednesday meetings, we're trying an experiment of adding a study session on the second Sunday. Bring your laptop and your curiosity and we'll give some of this Formal Methods stuff a try! Austin Formal Methods Study Session Our presentation-style meetups have been a great success, but for those looking to really dig in on this material for themselves, our Formal Methods Study Session is for you! Join us for an afternoon of tinkering with Formal Methods tools, helping each other get unstuck on tricky proofs, and sharing learning resources. Topics include interactive theorem provers, SAT/SMT solvers, type theory, temporal logic, model checking, correct-by-construction, AI robustness, and more. See you there! Schedule This will be a come-and-go event, so arrive whenever you'd like. We'll say the official…