The Coq Workshop 2011 will be held on August 26 at Nijmegen, as part of ITP 2011.
There is now a Stack Exchange Q&A site dedicated to Proof Assistants! Do not hesitate to post and answer Coq questions there (use the coq tag).
Check out Discourse and Twitter for recent news.
For recent releases, check out the GitHub repositories of Coq and the Coq Platform.
