Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Elaborating the schedule


view this post on Zulip Karl Palmskog (Feb 04 2022 at 13:27):

some may have noticed that we expect participants from timezones that are significantly different from European ones, such as timezones in the US. Hence, @Emilio Jesús Gallego Arias @Ali Caglayan I think you need to decide the main "open hours" of the hackathon.

view this post on Zulip Karl Palmskog (Feb 04 2022 at 13:28):

there is currently no information in the wiki about this.

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:40):

Yes indeed, thanks for the reminder!

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:40):

We are planning to discuss the program next monday, I guess the main part is indeed finding who wants to attend what

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:40):

and try to find a workable schedule

view this post on Zulip Karl Palmskog (Feb 04 2022 at 13:43):

but it's not only about the program (scheduled sessions), it's also a question of when people can show up and expect others to discuss things.

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:43):

Well that's part of the program no?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:43):

the program will also include "open hours sessions"

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:43):

well, indeed, not the program

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:43):

but the correct english word is schedule right?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:43):

I hit language barriers all the time :(

view this post on Zulip Karl Palmskog (Feb 04 2022 at 13:45):

yeah, I'd say you want to declare both a schedule and a program. For example, you could say the general open hours is from 10am to 8pm central European time, then each day has a program of specific sessions

view this post on Zulip Karl Palmskog (Feb 04 2022 at 13:46):

but I guess one can also make all "non-session" time into specific program items

view this post on Zulip Emilio Jesús Gallego Arias (Feb 04 2022 at 13:49):

Yup, sounds good!

view this post on Zulip Gaëtan Gilbert (Feb 09 2022 at 13:43):

https://github.com/coq/coq/wiki/CoqWG-2022-02#schedule

15h-18h (France time)

that seems a bit short no?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 09 2022 at 13:44):

That's only for the "main" sessions

view this post on Zulip Emilio Jesús Gallego Arias (Feb 09 2022 at 13:44):

sorry we didn't have time to finish the schedule yesterday

view this post on Zulip Emilio Jesús Gallego Arias (Feb 09 2022 at 13:45):

As you can see it is tricky, but we picked these 3 hours as maybe the best for everyone registered?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 09 2022 at 13:45):

cc @Ali Caglayan

view this post on Zulip Ali Caglayan (Feb 14 2022 at 21:19):

FTR 15:00-18:00 will be the "core" sessions, however in the mornings (around 10:00) and the evenings there will be hacking sessions.

view this post on Zulip Ali Caglayan (Feb 14 2022 at 21:19):

All CET/Paris time

view this post on Zulip Tomás Díaz (Feb 15 2022 at 01:05):

Is tomorrow at 15h? or 15h30 (as per the wiki)?

view this post on Zulip Ali Caglayan (Feb 15 2022 at 09:05):

Hi @Tomás Díaz, sorry for the confusion. It seems the time was changed recently. I will double check with Emilio when he gets online. For let us assume 15:30 CET for the first core session today (Tuesday).

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

@Tomás Díaz yes we pushed it a bit back as to help people on PST time

view this post on Zulip Ali Caglayan (Feb 15 2022 at 09:29):

And to be clear we haven't changed the times for the later core sessions. So on Wednesday and Thursday we plan to start at 15:00 CET.

view this post on Zulip Paolo Giarrusso (Feb 15 2022 at 11:39):

What's the right room? The BBB link leads me to "Reunion 10" but that's empty...

view this post on Zulip Paolo Giarrusso (Feb 15 2022 at 11:41):

(I think I also ended in the right place by mistake, but if I close this tab I don't know how to re-enter)

view this post on Zulip Rodrigo Raya (Feb 15 2022 at 13:05):

That happened to me too. When it asks if you want to join room 10, I closed that window and I was redirected to the main room.

view this post on Zulip Théo Zimmermann (Feb 15 2022 at 13:09):

Yeah, that's a bit unfortunate. When BBB break out rooms are running and new people join the room, they are asked which break out room they want to go to.

view this post on Zulip Théo Zimmermann (Feb 15 2022 at 13:10):

Maybe during the main session the breakout rooms should be stopped so that there is no confusion.


Last updated: Jan 29 2023 at 15:02 UTC