• Second Coq Implementors Workshop, May 30 - June 3, 2016, Sophia-Antipolis
• Location
• Program
• Do log what you did/learnt/implemented!
• Registration
• Beach event
• Quick list of dinner options
• List of participants
• Bug squashing
• "Little" projects
• Finish the safe string patch
• Fix Ocaml Warnings
• Remove redundant typing
• Brainstorming ("harder" projects, to be considered carefully)
• Individual Projects
• Emilio J. Gallego Arias
• Discussion on the roadmap