laarcnew | comments | discord | tags | ask | show | place | submitlogin
Tell laarc: Formal Methods Meetup Group (San Francisco, CA) (
2 points by davidk01 to software formalmethods sanfrancisco bayarea sv 472 days ago | discuss
I've been thinking about starting a formal methods group focused on day to day software engineering tasks. This isn't set in stone but if you're interested while I figure out the logistics then please go ahead and sign up.

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)