• The Coq development working groups
• Organization
• Latest Coq WG's, ADT meetings and Users/Developers meetings (in inverse chronological order)
• Past roadmap for version 8.4
• Roadmap for version 8.5
• The future of Coq
• Miscellaneous