Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Diversity Session


view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:24):

Hi folks, thanks everyone for all the proposals and comments; don't hesitate to keep providing feedback of any kind, including the way we organized it

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:24):

As discussed, I will do a summary of the actions proposed on the wiki, and we will move forward with them, likely organizing different working groups, such as the one for User Interfaces

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:25):

Makes also sense to organize some other comittes such as a coordiantion with the institutioanl actions, one for mentorship, one for organizing a better program for Coq education and research with countries where no Coq experts are available, etc...

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:26):

We will try to post the recordings tomorrow

view this post on Zulip Hanneli Tavante (Feb 16 2022 at 17:29):

Idea + question + feedback -> A lot of interesting ideas popped in with the event, but it's difficult to tackle them all in 3 days. Are there plans to maybe have a periodic session to tackle something specific? (e.g. every 2 weeks)

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:31):

@Hanneli Tavante indeed, it seems to me that the Hackathon played a role to get us to communicate

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:31):

and indeed, I'm interested in keeping a bit the momentum

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:32):

and hopefully start some collaborations

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:32):

beyond the Hackathon

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:32):

The role of this event so far seems to be more like a place to get to know each other, and indeed establish project links, share ideas, so what you propose makes total sense to me and I'm interested

view this post on Zulip Théo Zimmermann (Feb 16 2022 at 17:38):

Diversity (in all its generality) could in fact become the topic of one of the topic working groups: https://github.com/coq/coq/wiki/Topic-Working-Groups


Last updated: Jan 29 2023 at 15:02 UTC