I’ve ploped down some cash to gauge interest in a formal methods meetup. If you’re interested in learning and leveraging more formal artefacts in day to day software engineering then please go ahead and sign up while I figure out the logistics.
My current plan is to make it a mix of reading books and live presentations/tutorial. Current list of books I’m thinking about are “Software Abstractions”, “Practical TLA+”, “Software Foundations”, “Concrete Semantics”, etc. Also, open to suggestions on other reasonable starting materials for the first few meetings.