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