[Noisebridge-discuss] formal methods meetup

[david karapetyan]

Hey folks,

I'm one of the organizer of the formal methods meetup (https://meetup.com/formal-methods) and I've been looking for a place in SF to host the meetings. Someone suggested noisebridge and I think it is as good a place as any to get together and learn about formal methods.

>From what I've gathered everything seems to be self-organized so I'll drop by the Tuesday meeting and find a time on the events calendar that doesn't conflict with other events.

If there is someone I need to talk to about getting formal methods meetings to show up on the noisebridge meetup page then let me know.