jsCoq Hacking Session · Coq Hackathon and Working Group, Winter 2022

Stream: Coq Hackathon and Working Group, Winter 2022

Topic: jsCoq Hacking Session

Emilio Jesús Gallego Arias (Feb 09 2022 at 18:45):

Hi folks, this is the thread for the jsCoq hacking session, first step is to fix a time that works well for everybody interested. cc @Shachar Itzhaky @Evariste G , see the current schedule at https://github.com/coq/coq/wiki/CoqWG-2022-02#schedule

Evariste G (Feb 09 2022 at 18:49):

Cool, thanks! My schedule is pretty flexible. Anytime except (Tue 15h, Wed 16h, Thurs 18h) work for me.

Shachar Itzhaky (Feb 10 2022 at 20:30):

@Evariste G is this France time? I can do Tue 17h and Wed anytime except 16h France time. (I'm in Israel, so 1 hour ahead of you guys)

Evariste G (Feb 10 2022 at 20:31):

Ah sorry, I forgot to specify the timezone. Yes, this France time!

Emilio Jesús Gallego Arias (Feb 15 2022 at 09:31):

Maybe let's try to find a time on Wed? Also Evariste and I can meet maybe today after the core sessions for a bit?

Evariste G (Feb 15 2022 at 13:57):

Today or Wed after the main sessions work fine for me, thanks :)

Shachar Itzhaky (Feb 17 2022 at 10:57):

Oh sorry there were so many messages in this stream... did you get a chance to meet?

Emilio Jesús Gallego Arias (Feb 17 2022 at 12:46):

I was unfortunately busy, maybe we can try today? I just came from the doctor so need to catch up

Emilio Jesús Gallego Arias (Feb 17 2022 at 12:47):

but thinking Hanneli a bit about what we discussed yesterday, maybe it would make more sense to organize a whole "jsCoq hacking day" [really half a day]

Emilio Jesús Gallego Arias (Feb 17 2022 at 12:47):

so we are a bit more focused

Hanneli Tavante (Feb 17 2022 at 13:46):

Yeah, sorry, it did not happen. We ended up in different session topics. What about trying some extra session in one of these options (all CET - Paris time): Fri 18th at 16h, or Mon 21st at 16h, or Tue 22nd at 15h?