CoqWG 2022 06 15 - coq/coq GitHub Wiki

Organization

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)

Schedule

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

Participants

  • 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