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…