• Talks
• Demo of the new interactive mode - Enrico Tassi
• A Coq Wish List for Scaling Up - Arthur Charguéraud
• Universe Polymorphism and Fast Projections - Matthieu Sozeau
• How to make a Rooster run fast, on a Camel - Pierre-Marie Pédrot
• Opam - Thomas Braibant
• Miscellaneous discussions
• Coq working groups
• Bugs and pull requests
• Tentative schedule for 8.5
• Other issues