Coq Calls - coq/coq GitHub Wiki

Coq (quasi) weekly Developer Calls

By convention, the page for the next Coq call is created by the first person wishing to add a topic. If the page for the next Coq 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 Coq 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

Lately, we have been using https://rdv2.rendez-vous.renater.fr/coq-call. Check on the top of the page for the current call for most up-to-date information.

List of Calls:

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

Past calls