Eigth Coq Users and Developers Workshop
July 1st - July 5th, 2024
Nantes Université (Nantes, 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 eigth edition will take place at the LS2N at the University of Nantes,
from July 1st to July 5th, 2024.
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/433315-CUDW-2024
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.
We hope to see many of you at the CUDW 2024!