We had agreed some time ago to hold a two-day Coq Working Group in June, at Inria Sophia-Antipolis. Here's the evento to pick the date: https://evento.renater.fr/survey/coq-working-group-june-2022-rw66vmhw
I would also like to collect topics in order to prepare the agenda. Any suggestions?
@Maxime Dénès I have a few suggestions:
These honestly might be too big to do in 2 days, but other than fixing bugs I don't know what we could do.
finish coq_dune? although it would be nice if that could be done earlier
The test-suite is very close to completion, I was planning to show it off in a call soon. It should be straightforward to adapt what we learnt there to coq_dune. This is of course @Emilio Jesús Gallego Arias's project however so I cannot say for certain.
I don't care about the test suite, I want a way to deal with bugs like https://github.com/coq/coq/pull/15951
@Emilio Jesús Gallego Arias I think it could be nice if you present a quick status report in the build infrastructure at this June WG. Do you thinkl it would be a good idea?
@Théo Zimmermann Do you need a slot related to presenting the poll results, or the name change?
Btw, I'm afraid @Théo Zimmermann and @Ali Caglayan gave incompatible constraints in the evento. Are the "no" hard for both of you? Or could you still make it in some scenarios?
My no is not hard at all. I thought those were preferred dates, but I don't mind removing my constraints entirely, I can be adaptable.
My no for June 1st is hard, but not for June 2nd (I'd have to travel in the morning), and not for next week (there is Journées du GDR GPL which I planned to attend, but I could skip as I have no commitment there yet). My no for the end of June is hard because of JFLA but I guess this is not an option anymore given the other answers.
And sure, if I can make it to the WG, I'd be happy to have a slot to present poll results / discuss the name change.
Maxime Dénès said:
Emilio Jesús Gallego Arias I think it could be nice if you present a quick status report in the build infrastructure at this June WG. Do you thinkl it would be a good idea?
Sure, what would you like to see in that presentation? Note that https://github.com/coq/coq/pull/15560 will be merged by the WG time.
@Maxime Dénès But I would appreciate if the date of the WG could be set soon. If I can go to Journées du GDR GPL, I have to register soon.
Yes, I'll try to finalize the reservation of rooms today. Until it is done, I can't be sure of the dates.
It seems more likely to be June 15-16 given the availability of rooms. I'll keep you posted.
The Working Group will take place on June 15-16 in Sophia-Antipolis. I will post more details shortly.
@Théo Zimmermann You wanted to know the final dates.
CC @Enzo Crance
Please post the topics you'd like to discuss here: https://github.com/coq/coq/wiki/Next-Coq-Working-Group
For those who can, we'd recommend the Moxy hotel in Sophia Antipolis. Likely to be the most convenient for a short event.
I don't think it is in the Inria hotel market, though.
@all We need to communicate a list of participants. Could you please add your name to the list if you plan to attend? https://github.com/coq/coq/wiki/Next-Coq-Working-Group
We have only 5 participants listed, so far. Do not hesitate to add your name to the list, even if you are not 100% sure you can attend. The point is only to make people here at Inria Sophia aware that they should let you in.
Is there a guide to get there (train or what?)?
From the airport, take the 230. From Antibes, take the 100 or 1 (aka A), from the Moxy, walk.
There are night trans to Antibes
IIRC 230 is in T1, but there is a free tram from T2 (airfrance/easyjet) to T1 (luftansa)
From the train station, climb the stairs to the "passerelle SNCF" (google map knows) and you'll find the "pole d'echange" where you have the A bus of the 100 express bus
100 stops at "Templier" which is 200m away from Inria, A stop is called "Inria".
But for the 1 -> A renaming, I think this page is still OK https://team.inria.fr/marelle/en/venue/
Also, you can ask Enzo, which I think did already plan the trip
what hours will the wg be on? eg just the afternoon on the 15th?
@Maxime Dénès ping
Could you guys add to the wiki page how much time you'd like to have for your slot? @Enrico Tassi @Théo Zimmermann @Ali Caglayan @Michael Soegtrop
Once I know this, I'll prepare a schedule.
My intention was mostly to have an open discussion on
My topic isn't even that important or interesting so I will remove it
I think/hope there will be time to chat about tech issues like linking even if without a formal slot. Maybe keep the topic on a side list.
@Enrico Tassi I've created a "side topics" section.
@Théo Zimmermann 45 min for the renaming? Are you sure we shouldn't allocate more time?
I didn't want to take too much time from the WG for survey-related topics, but sure we can allocate more time, and if we manage to finish the discussion more efficiently, we can always reallocate.
I meant not so much about the survey, but the renaming.
Sounds to me like a topic which will need a lot of time for discussion, but I may be wrong.
The proposed schedule is online: https://github.com/coq/coq/wiki/Next-Coq-Working-Group
Cc @Gaëtan Gilbert
I guess a significant part of the attendees will have to leave during the afternoon of the 16th, so the idea is to keep the organization of the technical session flexible.
Question for the non-locals: where are you staying? Last time we did a CUDW or whatever that was called in Sophia, most people were at the same hotel and it was nicer.
I say nicer and not Nice, because it was actually Juan-les-Pins.
I am in Antibes, didn't find many hotels around, and Nice can be a long way I heard
Yeah, Nice is quite far away. Usually people stick to Antibes or Juan-les-Pins. Sophia is a barren no-man's land so I wouldn't recommend staying there.
I'd say it depends if you have a car. Staying at the Moxy hotel like Michael does, if you have a car or can be transported, looks very reasonable.
@Pierre-Marie Pédrot : I am staying at the Moxy close by (@Enrico Tassi recommended it).
These days Inria is not the land of wild bores anymore (although they some times still show up at night). You have a few restaurants/bars, a super market, post office, pharmacy etc at walking distance (https://www.google.com/maps/place/Casinoemail@example.com,7.0713571,16.75z/data=!3m1!5s0x12cc2a85fdb64b29:0x51973583d01330ac!4m13!1m7!3m6!1s0x12cc2b1976147919:0x81c6d85aa9a40d8!2sSaint-Philippe,+06410+Biot!3b1!8m2!3d43.617955!4d7.066923!3m4!1s0x12cdd4ca212b1f91:0xd78731fb68ef07ae!8m2!3d43.6177625!4d7.0752006) so you can safely forget you toothbrush. Sure, Antibes is nicer, but it is 30 minutes of bus away.
Which room are we meeting?
Ok never mind I see It is in Kahn, I'm in the 230 so should arrive before first session
Highway is free, you should roll fine
Yes, Kahn. You can ask at the "poste de garde", they will tell you.
Last updated: Feb 05 2023 at 23:30 UTC