Stream: CUDW 2020

Topic: stream events

view this post on Zulip Notification Bot (Sep 04 2020 at 11:53):

Stream created by Pierre-Marie P├ędrot.

view this post on Zulip Jim Fehrle (Sep 05 2020 at 20:47):

Given the 9 hour time difference, I expect most of CUDW will take place while I'm sound asleep. I could participate in discussions or presentations after 4 PM (= 7 AM for me).

view this post on Zulip Jim Fehrle (Sep 05 2020 at 20:59):

One possible topic I've thought about a couple times is a discussion to identify the top 10 improvements we'd like to see in Coq and its ecosystem. I have some ideas (some likely good and some maybe not). I have a limited sense of others' thoughts on this. I'm sure it will include several things that are already in progress, but maybe there are other possible improvements that deserve more attention, perhaps from out-of-the-box thinking. Not sure CUDW is the good forum for this, though.

Last updated: Oct 16 2021 at 09:07 UTC