Stream: CUDW 2020

Topic: Time zone poll


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

@all please fill in the following poll https://framadate.org/E4KjnDmLTceETOWw so that the organizers get an idea of the best time slots for the CUDW

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

All times are UTC and cover a 1-hour slot

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

Given the list of registered persons, it seems that most people are in the CEST timezone, and a few people are in the Eastern Time US timezone.

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

A priori that would hint for the CUDW to happen in the afternoon CEST-wise, but please fill in the poll so that we know if it's the most reasonable choice.

view this post on Zulip Théo Zimmermann (Oct 22 2020 at 12:30):

CEST means "Central European Summer Time". During CUDW, we won't be in this time band anymore...

view this post on Zulip Théo Zimmermann (Oct 22 2020 at 12:30):

So be careful when filling the poll that CET is actually UTC+1.

view this post on Zulip Karl Palmskog (Oct 22 2020 at 12:30):

CEST -> CET switch is this weekend

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

Right. Thankfully, the poll is UTC so that we don't have this kind of problem.

view this post on Zulip Théo Zimmermann (Oct 22 2020 at 12:34):

Yeah, but people have been used to communicating their time zone during summer period (e.g. as UTC+2) and should be aware that they need to be careful here.

view this post on Zulip Paolo Giarrusso (Oct 22 2020 at 18:11):

and TIL the US DST switch is _next_ weekend, just to mix up time differences.

view this post on Zulip Karl Palmskog (Oct 23 2020 at 23:25):

based on current poll results, we would basically go full on CET workday (say, 10am CET - 5pm CET).

view this post on Zulip Karl Palmskog (Oct 23 2020 at 23:28):

my opinion of what we should do: accept that we are CET biased. Try to accommodate preferences of small minority in US timezones within reason by having workgroups/topics relevant to them during afternoons CET time. Anyone in other timezones is unfortunately out of luck.

view this post on Zulip Karl Palmskog (Nov 16 2020 at 13:49):

@Pierre-Marie Pédrot any decision about the timezone thing? (Not so long until November 30 anymore)

view this post on Zulip Pierre-Marie Pédrot (Nov 16 2020 at 14:27):

As you advocated, I think we should go for a CET schedule

view this post on Zulip Pierre-Marie Pédrot (Nov 16 2020 at 14:28):

For some reason the poll seems to have missed its intended audience, i.e. anybody not living in the CET TZ

view this post on Zulip Karl Palmskog (Nov 16 2020 at 14:29):

that part of the community seems more active on Coq-Club

view this post on Zulip Karl Palmskog (Nov 16 2020 at 14:35):

so let me suggest an announcement with exact hours there (and a small update on the Discourse)

view this post on Zulip Karl Palmskog (Nov 16 2020 at 14:36):

I think quite a few in CET have also said they are willing to hang around a bit after the official workday is over

view this post on Zulip Pierre-Marie Pédrot (Nov 16 2020 at 14:44):

I've added a post on the discourse.


Last updated: Mar 29 2024 at 12:02 UTC