Next CUDW 2020/11/30 to 2020/12/04 — Save the Date!

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

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

Crowdsourcing a CUDW has never been so exciting — contribute today, and you will successfully work around my (utter lack of) organization skills!

Cocorico,
PMP

2 Likes

Please fill in the timezone poll for the CUDW. It will help decide what are the best time slots.

1 Like