Stream: Coq devs & plugin devs

Topic: CUDW2020


view this post on Zulip 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)

view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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.)

view this post on Zulip 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

view this post on Zulip 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?

view this post on Zulip Pierre-Marie Pédrot (May 29 2020 at 14:21):

I answered to Yves privately today, and the answer is positive indeed.

view this post on Zulip Pierre-Marie Pédrot (May 29 2020 at 14:22):

We'll hold it remotely instead

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Karl Palmskog (Jun 03 2020 at 17:21):

would indeed be much better to immediately fix a later span of dates in that case

view this post on Zulip Théo Zimmermann (Jun 03 2020 at 17:22):

I suggest October or November.

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Bas Spitters (Jun 21 2020 at 19:46):

Might be good to make a note on the wiki then about postponement.

view this post on Zulip Emilio Jesús Gallego Arias (Jul 16 2020 at 16:21):

I've just edited the wiki

view this post on Zulip Emilio Jesús Gallego Arias (Jul 16 2020 at 16:22):

@Pierre-Marie Pédrot do we have any idea on the new dates?

view this post on Zulip Pierre-Marie Pédrot (Jul 16 2020 at 16:36):

not yet, I am in official vacations right now

view this post on Zulip Pierre-Marie Pédrot (Jul 16 2020 at 16:36):

I'll build up a doodle to settle for a date


Last updated: Mar 28 2024 at 22:01 UTC