Seventh Coq Users and Developers Workshop
June 26th - June 30th, 2023
Sophia-Antipolis (Nice, France)
The Coq Users and Developers Workshop is an event that brings together
the core developers of Coq and users interested in understanding,
improving or extending the system via its OCaml APIs or extension
languages such as Ltac2, MetaCoq or Elpi.
Its seventh edition will take place at the Sophia-Antipolis Inria
center, near Nice, from June 26th to June 30th, 2023.
Registration to this event is free but mandatory for organization
purposes. To register you should simply add your name in the list of
participants on the wiki at the following address:
If there is a specific topic you would like to work on, or discuss
about with the core devs, we recommend that you write it down there as
well. This will allow to elaborate a schedule so that people can work
in parallel groups, and synchronize regularly.
More information can be found on the wiki or asked on the Zulip
The event will be in person only, no remote attending.
We want the event to be safe to attend. We will enforce the Coq code of
conduct: coq/CODE_OF_CONDUCT.md at master · coq/coq · GitHub
We hope to see many of you at the CUDW 2023!