Stream: User interfaces devs & users

Topic: Meeting on User Interfaces


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

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

view this post on Zulip Matthieu Sozeau (Sep 27 2022 at 10:01):

Visio !

view this post on Zulip Matthieu Sozeau (Sep 27 2022 at 10:02):

That's what I meant by "virtual" meeting :)

view this post on Zulip Matthieu Sozeau (Sep 27 2022 at 10:04):

It's best if we manage to use our own "immersion" rooms of course.

view this post on Zulip Enrico Tassi (Sep 27 2022 at 10:08):

OK, I'll fill the framadate.

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

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

view this post on Zulip Karl Palmskog (Sep 27 2022 at 10:36):

for context, some very specific UI-related discussion is currently going on here

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

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

view this post on Zulip Matthieu Sozeau (Sep 27 2022 at 13:00):

Sure, we can do half a day if everyone thinks that should be enough.

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

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

view this post on Zulip Emilio Jesús Gallego Arias (Sep 28 2022 at 18:25):

I'll update the wiki with some other topics

view this post on Zulip Emilio Jesús Gallego Arias (Sep 28 2022 at 18:39):

@Maxime Dénès do you have an example of such document ?

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

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

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

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

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

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

view this post on Zulip Enrico Tassi (Oct 10 2022 at 14:38):

(in my defence, the doodle talked about 10 AM ;-)

view this post on Zulip Matthieu Sozeau (Oct 10 2022 at 14:39):

We can move eveything by 1 hour if nobody minds

view this post on Zulip Emilio Jesús Gallego Arias (Oct 12 2022 at 15:59):

works for me

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

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

view this post on Zulip Enrico Tassi (Oct 13 2022 at 09:00):

It would be nice to have it recorded somehow.

view this post on Zulip Matthieu Sozeau (Oct 13 2022 at 11:23):

Yes, I'll definitely record it

view this post on Zulip Matthieu Sozeau (Oct 13 2022 at 16:29):

Ok, let's meet at 10am tomorrow then!

view this post on Zulip Matthieu Sozeau (Oct 13 2022 at 16:30):

I'll send a zoom link unless anyone opposes, as it's easy to record

view this post on Zulip Matthieu Sozeau (Oct 14 2022 at 07:51):

Here is the link, see you in 10min: https://univ-nantes-fr.zoom.us/j/3070423803

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

view this post on Zulip Emilio Jesús Gallego Arias (Oct 17 2022 at 13:28):

Thanks, I'll pin the slides ASAP

view this post on Zulip Jim Fehrle (Oct 17 2022 at 22:08):

Is there a summary of the discussion/conclusions available?

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


Last updated: Feb 06 2023 at 06:29 UTC