Emilio Jesús Gallego Arias (Mar 12 2021 at 10:28): Emilio Jesús Gallego Arias (Mar 12 2021 at 10:28):Hi all, as we discussed one week ago in the call, I have setup some pages regarding the idea of having Topic Working Groups.
Please find a draft here https://github.com/coq/coq/wiki/Topic-Working-Groups and let us know what you think, before we make an announce.
Lasse Blaauwbroek (Mar 13 2021 at 16:37):Is this also meant for people outside the coq developers? If so I might be interested in joining the machine learning group
Emilio Jesús Gallego Arias (Mar 13 2021 at 16:59):The specific goal is to actually bring together both Coq and non-Coq developers, so indeed, you are much welcome to join.
What are your thoughts about the format @Lasse ?
Théo Zimmermann (Mar 13 2021 at 17:14):Coq and non-Coq developers
or rather Coq devs and non-Coq devs ;-)
Lasse Blaauwbroek (Mar 13 2021 at 18:00):I think it is generally a good idea to bring some people together interested in similar topics for a face-to-face (even if over the internet) more regularly than the yearly workshop. (I was already planning on asking if I could join the Coq call sometime in the future to discuss some points more directly with you guys.) The only thing to keep in mind for me is that I could probably only allocate a very small amount of time to such working groups.
Pierre-Marie Pédrot (Mar 13 2021 at 18:07):The Weekly Call is open to anybody, you're definitely welcome to gatecrash!
Lasse Blaauwbroek (Mar 13 2021 at 18:08):Ah, okay I might do that at some point then :-) Thanks
Emilio Jesús Gallego Arias (Mar 13 2021 at 19:14):Indeed, tho many times the Weekly Call is not of interest, the idea of the working groups is to make discussion a bit more focused.
I agree that time / frequency is a problematic constraint, what do you think about the format @Lasse , is a periodic meeting the best idea? should we do instead a mailing list? If a meeting, how often?
Théo Zimmermann (Mar 13 2021 at 19:52):If you come to the Coq Call for a specific topic, don't forget to add it in advance on the wiki page :wink:
Lasse Blaauwbroek (Mar 13 2021 at 22:02):@Emilio Jesús Gallego Arias I feel like there already are more than enough mailing lists, I'm actually kind of drowning in all the Coq-related messages. Text-based communication is great for some kind of communication, but I hate having text-based conversations about long-term strategies/vision/topics that need to consider lots of subtle points. For that I'd rather have a face-to-face.
For a face-to-face meeting, I guess it depends on how many people are interested, the exact topic and how much actual activity is taking place on the topic outside of the meetings. But as a first guess, I would say once a month (your bi-monthly suggestion is ambiguous, which one do you mean?).
Emilio Jesús Gallego Arias (Mar 14 2021 at 17:30):I meant once or twice per month at max, likely once. So indeed let' go for the format of a lightweight semi-regular meetting then.
Emilio Jesús Gallego Arias (Mar 14 2021 at 17:31):I guess I'd announce the first meetings next week, please all give more feedback here .
Last updated: Nov 29 2023 at 05:01 UTC