Topics for the next meeting

The topics of the next MathComp meeting are taken from this list. Please append your topic:

• appoint secretary for this meeting
• short algebraic universes status?
• bullet, indentation, controling number of resulting goals... (again)
• docker-mathcomp and Nix
• PR triage
• pick a chair for next meeting

How to join

https://inria.webex.com/inria-en/j.php?MTID=m4eb3e8ccf90feb51900d889e329f1862

(if the meeting is not created yet, please wait a few minutes)

Mathcomp fortnightly meeting
Hosted by Cyril Cohen

https://inria.webex.com/inria-en/j.php?MTID=m4eb3e8ccf90feb51900d889e329f1862
mercredi 14 mai 2025 10:00 | 1 hour | (UTC+02:00) Brussels, Copenhagen, Madrid, Paris
Occurs every 2 week(s) on Wednesday effective 14/05/2025 from 10:00 to 11:00, (UTC+02:00) Brussels, Copenhagen, Madrid, Paris
Meeting number: 2740 250 4030
Password: 43YGx2ZaARB

Join by video system
Dial [email protected]
You can also dial 62.109.219.4 and enter your meeting number.

Join by phone
+33-1-8514-8835 France Toll 2

Access code: 274 025 04030

Instructions to join the meeting (old instructions?)

2025-11-26 meeting

• Chair: Cyril (leading the meeting, to be decided at each meeting for the next one, should send the reminder / cancel if no topics)
• Secretary: ? (taking notes, can be decided at the beginning of the meeting)