Stream: CUDW 2020

Topic: Social event


view this post on Zulip Théo Zimmermann (Dec 02 2020 at 14:24):

Shouldn't the social event be added to the plenary program?

BTW, here are a few ideas of things we could do during the social event:

view this post on Zulip Enrico Tassi (Dec 02 2020 at 14:27):

scribble +1

view this post on Zulip Paolo Giarrusso (Dec 02 2020 at 18:06):

It's the 3rd, not 1st, right? https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2020#social-event

view this post on Zulip Théo Zimmermann (Dec 02 2020 at 18:09):

Right! And it was so down in the wiki page that I didn't even see it (and I bet many people didn't either).


Last updated: Oct 16 2021 at 07:02 UTC