• Fifth Coq Users and Developers Workshop, June 3rd - June 7th, 2019, Sophia-Antipolis (Nice, France)
• Location
• Sponsors
• Program
• Gitter room
• Registration
• Organizers
• Proposed Projects and Ideas
• Talks
• Social Event
• Dinner Monday
• Debriefing