Benjamin Pierce (Mar 29 2023 at 16:45): Benjamin Pierce (Mar 29 2023 at 16:45):The next meeting on research about user interfaces for Coq will be Wednesday, April 12, from 3-5PM Paris time (9-11AM US Eastern). Maxime, Romain, and Enrico will present.
The Zoom link is https://zoom.us/j/5178401368.
Jim Fehrle (Apr 02 2023 at 20:22):Ah, what are the criteria for choosing the meeting time? Apparently it's not just maximizing the number of people who can attend.
Benjamin Pierce (Apr 02 2023 at 21:10):I was trying to both maximize attendance and minimize the gap between meetings, since there are PhD students that are working to get up to speed on Coq internals for their research projects and the next possible slot was two whole weeks later. But if this particular session is of high importance to you, we can either make sure it is recorded or try to postpone to the later slot.
Jim Fehrle (Apr 06 2023 at 04:53):No worries. Perhaps I will drag myself out of bed for a 6 AM call. (I don't know the topics that will be covered, so hard to say if it's of high importance to me.)
Maxime Dénès (Apr 06 2023 at 07:14):We will do a demo of VsCoq 2 features, explain the architecture and how it articulates with Coq's API, and discuss a bit our roadmap.
Benjamin Pierce (Apr 11 2023 at 01:25):Reminder that this is happening on Wednesday. The Zoom link is https://zoom.us/j/5178401368. 3-5PM Paris time (9-11AM US Eastern).
Jim Fehrle (Apr 18 2023 at 05:04):When will we pick the next meeting time?
Benjamin Pierce (Apr 18 2023 at 07:04):We are waiting for confirmation of the coq team's availability.
Benjamin Pierce (May 23 2023 at 14:24):The next meeting on research about user interfaces for Coq will be Tuesday, May 30, from 3-5PM Paris time (9-11AM US Eastern). Discussion about vscoq2 internals will continue.
The Zoom link is https://zoom.us/j/5178401368.
Cyril Cohen (Jun 01 2023 at 13:57):Hi, is there a recording of these meetings?
Benjamin Pierce (Jun 01 2023 at 14:36):I'm afraid not.
Last updated: Oct 13 2024 at 01:02 UTC