After asking around, it turns out that people "in" the formal methods community aren't really that numerous and don't seem to hang out a lot online, or they hang out in tool-specific places. I get the feeling, though, that that's just where the experts hang out… what about the beginners? People struggling to get their heads around what they want to do? Where can they be found? Same question about people looking to hire or buy services—is that LinkedIn? Somewhere else?
