Enrico Tassi (May 24 2020 at 18:33): Enrico Tassi (May 24 2020 at 18:33):@Pierre-Marie Pédrot any new info about it? (https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2020)
Enrico Tassi (May 24 2020 at 18:34):I imagine it will not be a in-person meeting for many reasons. But shall we still save the days on our agenda?
Pierre-Marie Pédrot (May 24 2020 at 18:47):If there are enough people interested, we could maintain it. But I do find that if we do it remotely, it'll be way to much similar to a standard working group to be really worthwile.
Karl Palmskog (May 24 2020 at 19:33):the main value I think most participants expected from CUDW was access to advice/mentorship from Coq devs for their research projects (such as a Coq plugin, a Coq enhancement, etc.)
Karl Palmskog (May 24 2020 at 19:35):this to me is very different from a standard working group. If it will go virtual, one replacement could be to allow people to book remote sessions with Coq devs for specific projects with concrete aims such as finishing a PR
Maxime Dénès (May 29 2020 at 14:21):@Pierre-Marie Pédrot Can we have a clear view of the current status quo? Can we free the budget initially allocated to CUDW2020?
Pierre-Marie Pédrot (May 29 2020 at 14:21):I answered to Yves privately today, and the answer is positive indeed.
Pierre-Marie Pédrot (May 29 2020 at 14:22):We'll hold it remotely instead
Pierre-Marie Pédrot (May 29 2020 at 14:22):I don't have much time right now, so I don't know whether it could be held on the originally scheduled week
Pierre-Marie Pédrot (May 29 2020 at 14:23):but the organization should be very light so the only thing we need is just a proper communication channel
Enrico Tassi (Jun 03 2020 at 17:17):I've to decide what to do on the week 22-26 June now.
Pierre-Marie Pédrot said:
I don't have much time right now, so I don't know whether it could be held on the originally scheduled week
If it is likely to be postponed, I believe I'd better schedule something else on that week. At worse I'll only attend sporadically.
Théo Zimmermann (Jun 03 2020 at 17:19):I find it unlikely that it would happen on this week given the lack of information so far. But in any case, I too won't be able to attend full days during this week.
Karl Palmskog (Jun 03 2020 at 17:21):would indeed be much better to immediately fix a later span of dates in that case
Théo Zimmermann (Jun 03 2020 at 17:22):I suggest October or November.
Pierre-Marie Pédrot (Jun 03 2020 at 17:36):Let's postpone then, we're not in a hurry. The date was chose due to constraints on physical presence, and since we're doing it remotely they are non sequitur.
Assia Mahboubi (Jun 04 2020 at 14:06):Just a remark: a lot of events are being rescheduled to next autumn these days. So if CUDW20 is really going to happen in 2020, even as a virtual event, it would be worth fixing the date as soon as possible, preferably before the summer break.
Bas Spitters (Jun 21 2020 at 18:00):I guess the event was cancelled? https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2020
Gaëtan Gilbert (Jun 21 2020 at 18:02):Postponed to july 5/6th according to https://github.com/coq/coq/wiki/Coq-Call-2020-06-03
5th is a sunday, are we really doing the workshop then?
Bas Spitters (Jun 21 2020 at 18:08):That's the coq workshop, which indeed starts on sunday, and partially overlaps with the hott workshop.
Pierre-Marie Pédrot (Jun 21 2020 at 18:53):The event is postponed to some time this autumn, and it will be held remotely
Théo Zimmermann (Jun 21 2020 at 19:19):Yes, that's a bit stupid that the Coq workshop is happening partially over a week-end, but those dates were decided by the IJCAR organizers when they still thought it would be a physical event.
Bas Spitters (Jun 21 2020 at 19:46):Might be good to make a note on the wiki then about postponement.
Emilio Jesús Gallego Arias (Jul 16 2020 at 16:21):I've just edited the wiki
Emilio Jesús Gallego Arias (Jul 16 2020 at 16:22):@Pierre-Marie Pédrot do we have any idea on the new dates?
Pierre-Marie Pédrot (Jul 16 2020 at 16:36):not yet, I am in official vacations right now
Pierre-Marie Pédrot (Jul 16 2020 at 16:36):I'll build up a doodle to settle for a date
Last updated: Jun 09 2023 at 07:01 UTC