Rocq Calls - rocq-prover/rocq GitHub Wiki

Rocq (quasi) weekly Developer Calls

By convention, the page for the next Rocq call is created by the first person wishing to add a topic. If the page for the next Rocq call does not exist yet, do not hesitate to create it by duplicating a previous one and adding your topics there. BEWARE: The calls are now on Tuesdays at 4pm Paris time rather than Wednesdays.

For last-minute details about who will be available for a call or whether a call will be postponed, see Zulip.

Guidelines

The general rules for Rocq meetings apply.

  • Add any topic you want the team to discuss along with the name of the discussion leader and a time estimate for easier scheduling.
  • Topics should be set well in advance, by Monday 4pm at the latest.
  • One cannot take more than a 30-minute slot. If a subject requires more time, setup a specific conference call on it.

Joining the call

https://rendez-vous.renater.fr/rocq-call (see also the top of the page for the given Rocq call)

List of Calls:

Format for the page is YYYY-MM-DD.md:

Past calls