Stream: CUDW 2020

Topic: Fixing the CUDW date


view this post on Zulip Karl Palmskog (Sep 21 2020 at 09:52):

@Pierre-Marie Pédrot any news on fixing the date for CUDW? The first suggested date span (probably not the winner) is coming up next week.

view this post on Zulip Pierre-Marie Pédrot (Sep 23 2020 at 15:27):

I think I'll narrow the choice to the three following weeks that have good scoring on the poll:

view this post on Zulip Pierre-Marie Pédrot (Sep 23 2020 at 15:28):

Can core devs confirm they're fine with any one of those?

view this post on Zulip Pierre-Marie Pédrot (Sep 23 2020 at 15:28):

The first option is in about one month from now but is the one where most people are available.

view this post on Zulip Pierre-Marie Pédrot (Sep 23 2020 at 15:29):

It'd be nice if it were possible to stick for that one but we must then decide quickly.

view this post on Zulip Enrico Tassi (Sep 23 2020 at 15:36):

All good for me.

view this post on Zulip Théo Zimmermann (Sep 23 2020 at 16:03):

:ok:

view this post on Zulip Enrico Tassi (Sep 30 2020 at 07:26):

"quickly"...

view this post on Zulip Enrico Tassi (Sep 30 2020 at 07:30):

Spamming the core team: @Maxime Dénès @Emilio Jesús Gallego Arias @Hugo Herbelin @Matthieu Sozeau @Gaëtan Gilbert @Guillaume Melquiond @Yves Bertot

view this post on Zulip Enrico Tassi (Sep 30 2020 at 07:30):

(half of them were not even subscribed to this stream @Pierre-Marie Pédrot ...)

view this post on Zulip Yves Bertot (Sep 30 2020 at 07:34):

All dates announced above are fine with me.

view this post on Zulip Maxime Dénès (Sep 30 2020 at 07:36):

The last two options are much better for me, since the first is during school holidays IIRC.

view this post on Zulip Guillaume Melquiond (Sep 30 2020 at 07:49):

The three date spans are fine with me, though I prefer the first one.

view this post on Zulip Gaëtan Gilbert (Sep 30 2020 at 07:58):

all ok

view this post on Zulip Matthieu Sozeau (Sep 30 2020 at 08:09):

I prefer the last two spans, I'll be on vacations during the first

view this post on Zulip Hugo Herbelin (Sep 30 2020 at 08:32):

all ok

view this post on Zulip Emilio Jesús Gallego Arias (Sep 30 2020 at 14:13):

All slots OK for me too.

view this post on Zulip Pierre-Marie Pédrot (Sep 30 2020 at 14:35):

There seems to be a preference for one of the two later dates then.

view this post on Zulip Pierre-Marie Pédrot (Oct 08 2020 at 08:14):

OK, so the week of the 30th of November seems to be the best one in the end.

view this post on Zulip Pierre-Marie Pédrot (Oct 08 2020 at 08:14):

I'll make an announcement today.

view this post on Zulip Cyril Cohen (Oct 09 2020 at 11:34):

Just to be sure, is it online or at least hybrid?

view this post on Zulip Pierre-Marie Pédrot (Oct 09 2020 at 11:36):

Purely online AFAIK.

view this post on Zulip Karl Palmskog (Oct 09 2020 at 12:11):

@Pierre-Marie Pédrot can you please link to the exact CUDW stream from the Discourse (https://coq.zulipchat.com/#narrow/stream/255971-CUDW-2020)? To my knowledge, the stream is not even visible if someone signs up to the Coq Zulip

view this post on Zulip Pierre-Marie Pédrot (Oct 09 2020 at 12:17):

It's literally the same link written there though?

view this post on Zulip Pierre-Marie Pédrot (Oct 09 2020 at 12:17):

Discourse seems to be mangling the link somehow.

view this post on Zulip Pierre-Marie Pédrot (Oct 09 2020 at 12:18):

OK, I added a dummy link wrapper in the markdown syntax and it seems to have done the trick.


Last updated: Oct 16 2021 at 07:02 UTC