CoqWG 2022 06 15
The next Coq Working Group will take place on June 15-16 in the Sophia-Antipolis INRIA center. Organizers : Maxime Dénès & Enrico Tassi
At the entrance ask for the organizers, or go to then Kahn building directly if you know where it is. You don't need a badge to get in this building. A breakfast should be waiting for you.
Notes (Enrico taking notes)
15/06 - Kahn building
-
09:30 Welcome coffee & introduction (Maxime)
-
10:00 Coq Platform and release process review / feedback / lessons learned + Coq Platform next steps (Michael)
-
11:30 8.16 release status (Pierre-Marie)
-
12:00 Lunch
-
14:00 Development process & technical coordination (Enrico & Maxime)
-
15:00 First results on the Coq Community Survey (Théo)
-
16:00 Roadmap (Maxime, collective)
-
18:30 Social event
16/06 - Kahn building
- 10:00 Renaming of Coq: decision & concrete plan (collective)
- 12:00 Lunch
- 14:00 Technical session
- Statically linking plugins (and putting dynlink to rest) (Ali)
- simplification improvements, e.g. definition of symbol groups for easier control of delta expansion (Michael)
- A new universe checking algorithm? (Matthieu)
- 18:00 End of the working group
- Maxime Dénès
- Pierre-Marie Pédrot
- Matthieu Sozeau
- Ali Caglayan
- Théo Zimmermann
- Gaëtan Gilbert (remote)
- Michael Sögtrop
- Emilio J. Gallego Arias
- Enrico Tassi
- Yves Bertot
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.