Stream: Coq devs & plugin devs

Topic: Spring working goup


view this post on Zulip 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?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 23 2022 at 15:15):

I'd like that, see also my post on coq-core

view this post on Zulip Emilio Jesús Gallego Arias (Mar 23 2022 at 15:16):

Given the timeframe we can just go ahead and do a Summer CUDW

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Maxime Dénès (Mar 23 2022 at 15:23):

How does @Matthieu Sozeau feel about working group vs CUDW?

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Emilio Jesús Gallego Arias (Mar 23 2022 at 16:27):

But like Theo I'm happy with both

view this post on Zulip 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.

view this post on Zulip Maxime Dénès (Mar 23 2022 at 17:08):

So working group in May? June?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 23 2022 at 17:09):

Sounds good to me

view this post on Zulip 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?

view this post on Zulip Matthieu Sozeau (Mar 25 2022 at 13:09):

I would prefer May than June, but maybe we should rather doodle?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 30 2022 at 17:19):

Indeed, we can doodle

view this post on Zulip Emilio Jesús Gallego Arias (Mar 30 2022 at 17:19):

So who can take the lead to organize this?


Last updated: Feb 02 2023 at 15:04 UTC