[CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date!

           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
channel: https://coq.zulipchat.com/#narrow/stream/373964-CUDW-2023

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!

1 Like

@gares in a literal reading of the announcement, non-plugin/non-extension discussions (e.g., library design, Platform, etc.) would not occur at all or be a fringe topic at CUDW. Is this the case?

I should have been more clear, indeed. Any Coq related project is welcome and any Coq contributor is welcome to help the others on his topic of expertise.

But the organizers cannot ensure that experts (of any topic) will be in the room. In practice we did a doodle among core devs to pick the date. As people register it will become more clear which (additional) topic is well represented.