Maxime Dénès (Mar 23 2022 at 15:11): Maxime Dénès (Mar 23 2022 at 15:11):I think we discussed in a previous Coq call having an in-person Coq working group soon. Is it still something we want? Should it be in Sophia ? Somewhere else?
Emilio Jesús Gallego Arias (Mar 23 2022 at 15:15):I'd like that, see also my post on coq-core
Emilio Jesús Gallego Arias (Mar 23 2022 at 15:16):Given the timeframe we can just go ahead and do a Summer CUDW
Maxime Dénès (Mar 23 2022 at 15:18):Ah ok, I thought these were two different things. But I'm fine with any options.
Théo Zimmermann (Mar 23 2022 at 15:20):Physical WG or physical CUDW, in both cases, I'd be happy to attend. It's been too long since I've last been to Sophia.
Maxime Dénès (Mar 23 2022 at 15:23):How does @Matthieu Sozeau feel about working group vs CUDW?
Matthieu Sozeau (Mar 23 2022 at 15:57):I'm also happy with both. I was fearing it might be hard to organize an in-person CUDW by the summer, whereas we could organize a smaller working group lasting a few days more easily.
Emilio Jesús Gallego Arias (Mar 23 2022 at 16:27):Maxime Dénès said:
Ah ok, I thought these were two different things. But I'm fine with any options.
Yes, there are two different things, but I was wondering if given the timeframe we could maybe merge them
Emilio Jesús Gallego Arias (Mar 23 2022 at 16:27):But like Theo I'm happy with both
Maxime Dénès (Mar 23 2022 at 17:08):Ok, so let's go for a working group. We should not forget the public health situation is not fully stabilized, so who knows what will happen until then, if we go for a larger event.
Maxime Dénès (Mar 23 2022 at 17:08):So working group in May? June?
Emilio Jesús Gallego Arias (Mar 23 2022 at 17:09):Sounds good to me
Emilio Jesús Gallego Arias (Mar 23 2022 at 17:11):Nice thing of the CUDW is that we could maybe expect some people from overseas, but that's also maybe doable with a WG?
Matthieu Sozeau (Mar 25 2022 at 13:09):I would prefer May than June, but maybe we should rather doodle?
Emilio Jesús Gallego Arias (Mar 30 2022 at 17:19):Indeed, we can doodle
Emilio Jesús Gallego Arias (Mar 30 2022 at 17:19):So who can take the lead to organize this?
Last updated: Oct 12 2024 at 12:01 UTC