The MathComp sharing days are an opportunity to share your experience using MathComp with newcomers, if you have questions about using the MathComp library, or for discussions about more advanced projects using MathComp are also welcome. The meetings happen every last Wednesday of the month (Paris timezone).

See https://github.com/math-comp/math-comp/wiki/TopicsNextMeeting on how to join.

The registration is not mandatory, but it would help us have more visibility on the event.

Generic announcement:

Dear Rocq/Coq and [Mathematical components library](https://github.com/math-comp/math-comp) users, we are pleased to announce our [insert number here]th [“Mathcomp sharing day”](https://github.com/math-comp/math-comp/wiki/MathcompSharingDays). On [insert data here], from 10am to 5pm Paris time, MathComp users, from enthusiasts to experts, are welcome to casually meetup online and engage in various activity from contributing to MathComp (fixing bugs, solving issues, adding features, integrating external developments to MathComp, etc) to discussions on future directions of MathComp.

Announced on Zulip and Discourse.

See https://github.com/math-comp/math-comp/wiki/TopicsNextMeeting#how-to-join for more indications on how to join.

Registered participants:

• Kazuhiko Sakaguchi 10:00-11:30, 13:00-17:00
• Pierre Roux 10:00-12:00, 14:00-16:30
• Alessandro Bruni 10:00-11:00
• Changrong Xue 10:00-11:00
• Reynald Affeldt 14:00-16:00 (couldn't actually participate)
• Takafumi Saikawa 10:00-12:00

Announced on Zulip and Discourse.

See https://github.com/math-comp/math-comp/wiki/TopicsNextMeeting#how-to-join for more indications on how to join.

Registered participants:

• Quentin Vermande 10:00-11:30, 13:00-16:30
• Pierre Roux 10:00-12:00, 13:30-17:00

Announced on Zulip and Discourse.

The meeting will start with a regular fortnightly MathComp meeting. See https://github.com/math-comp/math-comp/wiki/TopicsNextMeeting for more indications on the topics of the meeting and on how to join.

Registered participants:

• Pierre Roux (10:00-11:30, 13:30-17)
• Kazuhiko Sakaguchi 10:00-11:30 then 13:00-15:00
• Quentin Vermande 10:30-11:30 then 13:00-17:00

Announced on Zulip and Discourse.

See https://github.com/math-comp/math-comp/wiki/TopicsNextMeeting on how to join.

Registered participants:

• Kazuhiko Sakaguchi 10:00-11:30 then 13:00-17:00 (I would like to work on Multinomials)
• Pierre Roux 13:00-17:00 (but essentially busy on HB with algebraic univ session)
• Quentin Vermande 10:00-11:30 then 13:00-17:00

Announced on Zulip and Discourse.

The meeting will start with a regular fortnightly MathComp meeting. See https://github.com/math-comp/math-comp/wiki/TopicsNextMeeting for more indications on the topics of the meeting and on how to join.

Registered participants:

• Kazuhiko Sakaguchi (maybe)
• Quentin Vermande 10:00-11:45 then 13:00-17:00
• Pierre Roux (10-11 only)
• Yves Bertot 10:00-11:30 then 13:00-17:00

Announced on Zulip and Discourse.

The meeting will start with a regular fortnightly MathComp meeting. See https://github.com/math-comp/math-comp/wiki/TopicsNextMeeting for more indications on the topics of the meeting and on how to join.

Registered participants:

• Quentin Vermande 10:00-11:45 then 13:00-17:00
• Pierre Roux 10:00-11:45 then 14:00-17:00

Announced on Zulip and Discourse.

The meeting will take place at https://rendez-vous.renater.fr/mathcomp.

Registered participants:

• Kazuhiko Sakaguchi 10:00-11:45 then 13:00-17:00
• Quentin Vermande 10:05-11:45 then 13:00-17:00
• Pierre Roux 10:00-12:00 then 13:00-17:00
• Yves Bertot 10:00-11:45 then 15:00-17:00

Announced on Zulip and Discourse.

The meeting will take place at https://rendez-vous.renater.fr/mathcomp.

Resgistered participants:

• Cyril Cohen 9:30-11:50 then 15:30-17:00
• Quentin Vermande 9:00-11:50 then 13:00-17:00
• Yves Bertot 9:00-12:00 then 13:00-17:00
• Kazuhiko Sakaguchi 10:00-11:50 then 13:00-16:00

To be announced on Zulip and Discourse.

The meeting will take place at https://rendez-vous.renater.fr/mathcomp.

Warning: Due to issues with renater, moving temporarily to https://jitsi.riot.im/mathcomp~ (back on renater for the afternoon)

Registered participants:

• Reynald Affeldt 09:00-12:00 then 14:00-17:00 (tentative, I would like to work on PRs to MathComp-Analysis and MathComp)
• Quentin Vermande 09:00-11:45 then 13:00-17:00
• Florent Hivert - Not sure of the schedule - I'll be in visit in Nantes.
• Pierre Roux 10:00-12:00 then 14:00-17:00

Announced on Zulip and Discourse.

The meeting will take place at https://rendez-vous.renater.fr/mathcomp.

Registered participants:

• Cyril Cohen 10:00-12:00 then 14:00-17:00
• Pierre Roux 10:00-12:00 then 14:00-17:00
• Kazuhiko Sakaguchi
• Quentin Vermande 10:00-12:00 then 14:00-17:00
• Florent Hivert (not sure about the schedule)
• Erik Martin-Dorel (during part of the afternoon)

Announced on Zulip.

The meeting will take place at https://rendez-vous.renater.fr/mathcomp.

Registered participants:

• Quentin Vermande 9:00-12:00 then 13:00-17:00
• Reynald Affeldt 09:00-12:00 then 13:00-16:00
• Kazuhiko Sakaguchi 10:00-12:00 then 14:00-18:00

Announced on Zulip.

The meeting will take place at https://rendez-vous.renater.fr/mathcomp.

Registered participants:

• Cyril Cohen 10:00-12:00 then 14:00-17:00
• Kazuhiko Sakaguchi 10:00-12:00 then 13:30-15:00
• Quentin Vermande 10:00-12:00 then 13:30-17:00

Not publicly announced.

Our usual fortnightly MathComp will take place from 10:00 to 11:00. Everyone is welcome to attend both events. People who plan to attend the sharing days but not the MathComp meeting can have a breakout room created upon request.

Registered participants:

• Reynald Affeldt (trying to attend the full event but from Tokyo)
• Pierre Roux

Our usual fortnightly MathComp will take place from 10:00 to 11:00. Everyone is welcome to attend both events. People who plan to attend the sharing days but not the MathComp meeting can have a breakout room created upon request.

Registered participants:

• Cyril Cohen (9:00-9:30 and 10:00-12:00)
• Ana Borges (from 10:00)
• Reynald Affeldt (9:00-11:00, 14:30-17:00)
• Quentin Vermande (9:00-12:00, 13:00-17:00)

Registered participants:

• Cyril Cohen (10:00-12:00 then 13:00-17:00)
• Pierre Roux (10:00-12:00 then 13:30-17:00)
• Quentin Vermande (10:00-12:00 then 13:00-17:00)
• Ana Borges