Stream: Coq devs & plugin devs

Topic: Coq Workshop 2021


view this post on Zulip Emilio Jesús Gallego Arias (Jun 22 2021 at 18:18):

Hi folks, Coq workshop 2021 is coming, questions:

cc @Jean-Marie Madiot @Christian Doczkal

view this post on Zulip 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: Feb 06 2023 at 19:03 UTC