Mathcomp Sharing Days 🥳

The mathcomp sharing days are an opportunity to share your experience using mathcomp with newcomers. They are a great opportunity if you have some questions about using the mathcomp library and discussions about more advanced projects using mathcomp are also welcome. The meetings happen every last Wednesday of the month.

Tenth edition 2025-04-30

Announcement:

Announced on Zulip and Discourse.

Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our tenth “Mathcomp sharing day”. On April 30th 2025, 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.

Participants

The registration is not mandatory, but it would help us have more visibility on the event (times are given in the Paris time zone).

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

Meeting details

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.

Ninth edition 2025-03-26

Announcement:

Announced on Zulip and Discourse.

Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our ninth "Mathcomp sharing day". On March 26th 2025, 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.

Participants

The registration is not mandatory, but it would help us have more visibility on the event (times are given in the Paris time zone).

• 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

Meeting details

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

Eighth edition 2024-11-27

Announcement:

Announced on Zulip and Discourse.

Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our eighth "Mathcomp sharing day". On November 27th 2024, from 9am 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.

Participants

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

• 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

Meeting details

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

Seventh edition 2024-10-30

Announcement:

To be announced on Zulip and Discourse.

Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our seventh "Mathcomp sharing day". On October 30th 2024, from 9am 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.

Participants

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

• 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

Meeting details

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

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

Sixth edition 2024-09-25

Announcement:

Announced on Zulip and Discourse.

Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our sixth "Mathcomp sharing day". On September 25th 2024, from 9am 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.

Participants

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

• 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)

Meeting details

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

Fifth edition 2024-08-28

Announcement:

Announced on Zulip.

Participants

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

• 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

Meeting details

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

Fourth edition 2024-07-31

Announcement:

Announced on Zulip.

Participants

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

• 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

Meeting details

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

Third edition 2024-06-26

Announcement:

Not publicly announced.

Mathcomp fortnightly meeting

Our usual fortnightly MathComp will take place from 10:00 to 11:00(am) Paris time. 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.

Participants

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

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

Second edition 2024-05-29

Announcement:

Dear Rocq/Coq and Mathematical components library users, we are pleased to announce our first "Mathcomp sharing day". On May 29th 2024, From 9am 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.

Mathcomp fortnightly meeting

Our usual fortnightly MathComp will take place from 10:00 to 11:00(am) Paris time. 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.

Participants

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

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

First edition 2024-04-24

Announcement:

Dear Rocq/Coq and mathcomp users, we are pleased to announce our first "Mathcomp sharing day". On April 24th 2024, From 10am to 5pm Paris time, mathcomp users, from enthusiasts to experts, are welcome to meetup online and engage in various activity among: contributing to mathcomp (fixing bugs, solving issues, adding features, integrating external developments to mathcomp, etc) to discussions on future directions of mathcomp.

Participants

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

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