Stream: User interfaces devs & users

Topic: Next topics for Coq UI research discussions

Benjamin Pierce (Jun 01 2023 at 14:38):

For discussion: What topics would people like to see at future meetings of this group?

Enrico Tassi (Jun 01 2023 at 15:44):

I'd like to hear what HCI people would like to try, even if it is just ideas with nothing to demo. It would help us (devs) to describe/document the parts of VSCoq which are more likely to be be modified to implement these ideas, eventually.

Benjamin Pierce (Jun 05 2023 at 20:13):

I love this idea.

From Penn, Jessica Shi can present some of her plans and ideas.

Are there people from other groups doing UI research in/on Coq that would like to present?

Bas Spitters (Jun 06 2023 at 07:14):

When is the next meeting planned?

Enrico Tassi (Jun 06 2023 at 07:59):

I don't think we received the doodle yet

Benjamin Pierce (Jun 06 2023 at 17:40):

Here's a when2meet for scheduling it!

Benjamin Pierce (Jun 06 2023 at 17:42):

(Please fill it out by this weekend.)

Last updated: Oct 13 2024 at 01:02 UTC