Coq Users and Developers Workshop 2019 -- Call for participation

Fifth Coq Users and Developers Workshop, June 3rd - June 7th, 2019, Sophia-Antipolis (Nice, France)

“Ever dreamt of meddling with the innards of your favourite proof assistant? The CUDW is just what you needed!”

The Coq Users and Developers Workshop is an event that brings together the core developers of Coq and people interested in understanding, improving or extending the system.

Its fifth edition will take place at the Sophia-Antipolis Inria center, near Nice, from June 3rd to June 7th, 2019.

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 lax schedule so that people can work in parallel groups, and synchronize regularly.

More information can be found on the wiki. Do not hesitate to contact the organizers in case of doubt.

We hope to see many of you at the CUDW 2019!

PMP, for the CUDW organization