as you may recall the Coq User and Developer Workshop that was supposed to take place in June was cancelled. Since it is a very helpful event for people trying to get into the intricacies of the Coq development, we are tentatively trying to get an ersatz version of the CUDW this fall.
The exact format is not decided yet, but the event will be held remotely and spread over a week. In order to settle for a date, I would like the interested reader to fill in the poll available here:
If you have any suggestions or comments about the way the CUDW should happen, be it infrastructure, format, topic, etc. do not hesitate to comment on the dedicated Zulip stream.