Stream: CUDW 2020

Topic: stream events

Notification Bot (Sep 04 2020 at 11:53):

Stream created by Pierre-Marie Pédrot.

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).

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.

Notification Bot (May 02 2022 at 08:44):

Théo Zimmermann changed the access permissions for this stream from Public to Web-public.

Last updated: Jun 11 2023 at 00:30 UTC