• Sixth Coq Users and Developers Workshop
• Date
• Location
• Sponsors
• Program
• Zulip room
• Registration
• List of participants
• Organizers
• Proposed Projects and Ideas
• Emilio J. Gallego Arias
• Talks
• Open discussion
• Architectural and Internal Projects / Discussion
• Build system and Tooling Projects / Discussion
• UI Projects
• SerAPI
• JsCoq
• Requests
• Enrico
• Matthieu
• Jason
• Zoe
• Clément
• Jim
• Cyril
• Ana Borges
• Coq Platform
• Lasse
• Nicolas
• Erik
• Talk Proposals
• Social Event
• Discussions summaries / notes