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