The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

Dear Coq-club,

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:

https://framadate.org/xuJDXtc3t5jTkSrK

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.

https://coq.zulipchat.com/#narrow/stream/255971-CUDW-2020

Thank you for your attention,
PMP

Attachment: signature.asc
Description: OpenPGP digital signature