• Seventh Coq Users and Developers Workshop, June 26th - June 30th, 2023, Sophia-Antipolis (Nice, France)
• Location
• Sponsors
• Program
• Projects for the week
• Registration
• Organizers
• Proposed Projects and Ideas
• Debriefing