• Organization
• Participants
• Talks
• 10:00 - 10:15 Status of 8.5, calendar
• 10:15 - 11:00 Organization of the development for 2015-2016
• Integration tests and benchmarks
• Migration of user contribs to OPAM
• Ltac
• Unification
• Libraries
• Ongoing work
• 11:15 - 11:45 A Coq MOOC? (Yves)
• 11:45 - 12:30 Mtac (Yann)
• 14:00 - 18:00 Bugs and pull requests