Matthieu Sozeau (Sep 27 2022 at 09:46): Matthieu Sozeau (Sep 27 2022 at 09:46):I think we should have a virtual meeting on UIs soonish so as to resynchronize on the different efforts happening these days, check for potentially conflicting plans, duplication of work and try to get some (rough) timelines. As coordinator I only have a slightly blurry picture of what is happening (which seems to be evolving quickly) and what is planned, so I would like this to be an occasion for everyone to lay down their plans and questions without having to rush the subject during a WG or Coq Call, following up on the previous WGs on UIs. This is especially important as we will put more engineering effort on this front and as part of the Liber Abaci défi. At the same time, I'll be absent for at least a good month starting mid-october, so ideally it should take place before that.
The draft agenda is (as suggested by @Emilio Jesús Gallego Arias) :
• Emilio and Ali summarise their current work
• Maxime and Enrico summarise their current work
• Discussion on how the different initiatives can work together
• Organization of development
I think it would make sense to do a 2h morning session + a 3h afternoon session (say 10am-noon, 2pm-5pm).
Here is a framadate for setting this up: https://framadate.org/6kZXw3Mdwr7eMlmVHsQudVEZ/admin
And the wiki page: https://github.com/coq/coq/wiki/Coq-Topic-Working-Group-User-Interfaces
CC: @Ali Caglayan @Enrico Tassi @Maxime Dénès as I don't know if you are subscribed to this stream
Enrico Tassi (Sep 27 2022 at 09:56):I think it would make sense to do a 2h morning session + a 3h afternoon session (say 10am-noon, 2pm-5pm).
In person or visio?
Matthieu Sozeau (Sep 27 2022 at 10:01):Visio !
Matthieu Sozeau (Sep 27 2022 at 10:02):That's what I meant by "virtual" meeting :)
Matthieu Sozeau (Sep 27 2022 at 10:04):It's best if we manage to use our own "immersion" rooms of course.
Enrico Tassi (Sep 27 2022 at 10:08):OK, I'll fill the framadate.
Enrico Tassi (Sep 27 2022 at 10:11):It is just that 5h of visio is a lot... I hope we can setup a precise roadmap for the meeting.
Pierre Courtieu (Sep 27 2022 at 10:34):Hi there! I'd be happy to follow this discussion if I can. I am curious about the last updates on UIs.
Karl Palmskog (Sep 27 2022 at 10:36):for context, some very specific UI-related discussion is currently going on here
Matthieu Sozeau (Sep 27 2022 at 11:46):@Enrico Tassi If we need less time to cover the topic, I'd be happy too :) I think the agenda should not grow much so we can focus the discussion, but that's up for debate of course.
Maxime Dénès (Sep 27 2022 at 12:51):In order to be efficient, how about going for half a day rather than a full day? We can always schedule a second meeting if we fail to cover everything. Also I was wondering: is there a description of the design of Flèche somewhere we can read before the meeting? IIRC, the last meeting we had on the topic had a very similar agenda, and the conclusion was we'd wait for some input from @Emilio Jesús Gallego Arias .
Matthieu Sozeau (Sep 27 2022 at 13:00):Sure, we can do half a day if everyone thinks that should be enough.
Matthieu Sozeau (Sep 27 2022 at 13:01):As I explained, it's hard for me to anticipate the amount of information we'll exchange, and hence the timing :)
Emilio Jesús Gallego Arias (Sep 28 2022 at 18:24):I'll be happy to do a presentation on Flèche / coq-lsp, but that could be quite long if you want details, like 2h I think
Emilio Jesús Gallego Arias (Sep 28 2022 at 18:25):I'll update the wiki with some other topics
Emilio Jesús Gallego Arias (Sep 28 2022 at 18:39):@Maxime Dénès do you have an example of such document ?
Maxime Dénès (Sep 28 2022 at 18:41):2h on Flèche/coq-lsp look fine to me. I'd be interested in seeing the details. As I said we can anyway have a second meeting if needed.
Maxime Dénès (Sep 28 2022 at 18:43):Not sure what you mean by an example. The way I see it, Flèche/coq-lsp is a research artifact, so I was expecting some kind of paper, technical report or slides describing the ideas (not just one or two global slides, but a bit more in details).
Matthieu Sozeau (Sep 30 2022 at 15:53):@Maxime Dénès @Emilio Jesús Gallego Arias @Ali Caglayan @Enrico Tassi @Yves Bertot Alright, let's settle for the Morning of Friday the 14th of October (probably starting at 9am), which gives us two good weeks to prepare.
Matthieu Sozeau (Sep 30 2022 at 15:55):FYI this is one week before I'm supposed to become a dad, so I might become absent in the meantime...
Matthieu Sozeau (Oct 10 2022 at 14:34):I've updated the agenda with timings, @Maxime Dénès and @Enrico Tassi do you think 30 minutes is enough to present your current work and roadmap ? @Emilio Jesús Gallego Arias and @Ali Caglayan I've put a 2 hour session for you, but we might reduce it to maybe 1h30 if you can provide your slides / detailed roadmap in advance. If I cannot attend (which looks more and more likely), @nicolas tabareau will chair. This should definitely be recorded though :)
Enrico Tassi (Oct 10 2022 at 14:38):I've a problem since I drop my daughter at the kindergarten at 9:30 on Friday, so I won't join before 9:45.
Enrico Tassi (Oct 10 2022 at 14:38):(in my defence, the doodle talked about 10 AM ;-)
Matthieu Sozeau (Oct 10 2022 at 14:39):We can move eveything by 1 hour if nobody minds
Emilio Jesús Gallego Arias (Oct 12 2022 at 15:59):works for me
Matthieu Sozeau (Oct 12 2022 at 17:43):@Maxime Dénès @Ali Caglayan @nicolas tabareau does 10am-1pm work for you too? It seems like I will be able to join.
Enrico Tassi (Oct 13 2022 at 08:59):Huff, I've a new problem since she has high fever, and tomorrow my wife is busy, so I'm likely to have to babysit here. If this is the case, I won't be able to join the meeting :-/
Enrico Tassi (Oct 13 2022 at 09:00):It would be nice to have it recorded somehow.
Matthieu Sozeau (Oct 13 2022 at 11:23):Yes, I'll definitely record it
Matthieu Sozeau (Oct 13 2022 at 16:29):Ok, let's meet at 10am tomorrow then!
Matthieu Sozeau (Oct 13 2022 at 16:30):I'll send a zoom link unless anyone opposes, as it's easy to record
Matthieu Sozeau (Oct 14 2022 at 07:51):Here is the link, see you in 10min: https://univ-nantes-fr.zoom.us/j/3070423803
Matthieu Sozeau (Oct 17 2022 at 12:49):The recording is being uploaded now, it will appear at https://youtu.be/SsfvmFjUIrI by the end of the afternoon I guess
Emilio Jesús Gallego Arias (Oct 17 2022 at 13:28):Thanks, I'll pin the slides ASAP
Jim Fehrle (Oct 17 2022 at 22:08):Is there a summary of the discussion/conclusions available?
Nicolas Behr (Jan 31 2023 at 16:09):Thanks a lot for the interesting meeting today, and please find attached my slides about the ANR CoREACT project: Nicolas_Behr-Coq-WG-CoREACT-Jan31st2023.pdf
Jim Fehrle (Feb 13 2023 at 19:36):Emilio Jesús Gallego Arias said:
Thanks, I'll pin the slides ASAP
Where are those slides available?
Emilio Jesús Gallego Arias (Feb 17 2023 at 18:59):Will put them online ASAP, sorry for the wait
Jim Fehrle (Feb 27 2023 at 01:32):@Matthieu Sozeau Is there a recording of the second day of the Coq Working Group (Feb 1)?
Théo Zimmermann (Feb 27 2023 at 13:51):No, there is no public recording of the second day of the WG.
Jim Fehrle (Mar 09 2023 at 00:32):Emilio Jesús Gallego Arias said:
Will put them online ASAP, sorry for the wait
When will you be putting your slides up (or where are they)?
Théo Zimmermann (Mar 09 2023 at 14:24):And related: if you ended up writing a paper on coq-lsp / flèche, are you planning to put it online (e.g., on HAL) soon?
Emilio Jesús Gallego Arias (Mar 09 2023 at 16:18):Hi folks sorry for the delay, indeed I am waiting to have my draft ready to update everything, and yes, I will put the draft online as soon as it is ready
Enrico Tassi (Mar 09 2023 at 16:40):Oh, I thought you did submit it to ITP
Jim Fehrle (Mar 21 2023 at 03:42):Will I be able to share a few thoughts as I requested earlier? 10-15 minutes should be enough.
Benjamin Pierce (Mar 21 2023 at 13:07):Yes!
Emilio Jesús Gallego Arias (Mar 21 2023 at 14:02):Hi folks, I'm not sure I can see the meeting link, do you know where I can grab it?
Benjamin Pierce (Mar 21 2023 at 14:05):Last updated: Oct 13 2024 at 01:02 UTC