Hi folks, Coq workshop 2021 is coming, questions:
cc @Jean-Marie Madiot @Christian Doczkal
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: Dec 01 2023 at 07:01 UTC