Stream: Coq devs & plugin devs

Topic: Coq Workshop 2021

Emilio Jesús Gallego Arias (Jun 22 2021 at 18:18):

Hi folks, Coq workshop 2021 is coming, questions:

• will there be a Zulip chat?
• do we need to register to follow the talks?

cc @Jean-Marie Madiot @Christian Doczkal

Christian Doczkal (Jun 22 2021 at 19:00):

We definitely plan to have a Zulip Stream to accompany the workshop sessions. The virtual conference rooms will be managed by EasyConferences. It is my (our) understanding that active participation will require registration to the workshop. So please register, if possible. We will inquire whether passively following the presentations can be arranged and convey this information once we have it.

Last updated: Jun 08 2023 at 04:01 UTC