Stream: CUDW 2020

Topic: Social event

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:

• use the breakout rooms in random mode and with short durations: this would give us smaller groups of people to share a drink with, and we could do that several times to meet a few more people
• do a Skribbl game altogether (from my experience it can work well with many people): https://skribbl.io/
• bonus point if someone has a custom "Coq" dictionary to play Skribbl.

Enrico Tassi (Dec 02 2020 at 14:27):

scribble +1

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

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: Jun 10 2023 at 23:01 UTC