• Organization
• Participants
• International evolution of Coq by Yves Bertot
• Presentation by Andrew Tolmach of his research
• Guillame Claret on Opam-Coq
• Miscellaneous discussions
• Meet the Coq-dev / Coq implementors meeting
• Website
• Tutorial
• Coq 8.5