• First Coq Coding Sprint, June 22-25 2015 Sophia-Antipolis
• What is a Coding Sprint?
• Location
• Program
• Do log what you did/learnt/implemented!
• Registration
• Beach on Wednesday 24
• Quick list of dinner options
• List of participants
• Bug squashing
• "Little" projects
• Brainstorming ("harder" projects, to be considered carefully)