At last, the Coq User and Developer Workshop has been properly scheduled! It will be held remotely between November, 30th and December, 4th. Given the novelty of this endeavour, the precise organization, format, and technology used are yet to be decided.
There is a dedicated Zulip stream to precisely discuss these matters. If you are interested, you are encouraged to join at
Crowdsourcing a CUDW has never been so exciting — contribute today, and you will successfully work around my (utter lack of) organization skills!