• Third Coq Implementors Workshop, June 12 - June 16, 2017, Le Croisic
• Location
• Program
• Do log what you did/learnt/implemented!
• Registration
• Methods of payment
• Organizers
• List of participants
• Suggestions by New Participants
• Proposed Projects and Ideas
• Topics of interest