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 time is between 13:00 and 16:00, but Bennu Coffee is open 24x7, so feel free to arrive and leave whenever you'd like. Location We will be meeting at Bennu Coffee Highland (the location near Austin Community College, not the location on South Congress Ave and not the location on Martin Luther King Jr Blvd).