I’ve created a facebook group related to Isabelle. I hope to get people working with Isabelle onto that group for collaboration. If you’re interested in either Isabelle or formal verification, join up!
http://www.facebook.com/group.php?gid=18553699736&ref=nf