coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Next CUDW 2020/11/30 to 2020/12/04 — Save the Date!

From: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Next CUDW 2020/11/30 to 2020/12/04 — Save the Date!
Date: Fri, 9 Oct 2020 12:22:10 +0200

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

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Next CUDW 2020/11/30 to 2020/12/04 — Save the Date!, Pierre-Marie Pédrot, 10/09/2020