Coq Call 2021 03 03 - coq/coq GitHub Wiki

• March 3rd 2021, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Topic area working groups [Emilio]

Notes

• Emilio proposes to organize "topic are working groups", examples could be:
  • user interfaces
  • data-centric / machine learning platform
  • libraries
  • Coq and maths (kinda internal, mailing list https://sympa.inria.fr/sympa/info/gt-maths-coq)
• main idea: coordinate roadmaps, share initiatives and code; possibly, discuss funding / collaborations
• this could also serve the role to structure a bit more the dev team, not sure about this
• format:
  • lightweight coordinator
  • wiki page with participants and agenda
  • periodic meeting, frequency to be chosen

Wiki page created at Topic-Working-Groups