Emilio Jesús Gallego Arias (Feb 16 2022 at 17:24): 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
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
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...
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:26):We will try to post the recordings tomorrow
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)
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
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:31):and indeed, I'm interested in keeping a bit the momentum
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:32):and hopefully start some collaborations
Emilio Jesús Gallego Arias (Feb 16 2022 at 17:32):beyond the Hackathon
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
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: Jun 10 2023 at 23:01 UTC