Mathematical Components School and Workshop 2022

The Mathematical Components school will take place on Monday 5th December 2022 to Friday 9th. The school will be in English and will target master or PhD students with basic knowledge of Coq. The course will introduce the SSReflect proof language and the Mathematical Components library, in particular its key principles and tools.

On Wednesday of the same week we are organizing the workshop “Mathematical Components - 10 years after the Odd Order Theorem”.

Although the workshop is part of the program of the school, it will be a standalone event not restricted to the participants to the school.

Both events will be held in person (pandemic permitting of course). Both events are free, no subscription fees, but registration is mandatory. Please email Enrico Tassi to register (subject “MC2022”). The deadline for registering is Thursday 24 November.


  • Assia Mahboubi (workshop chair) and
  • Enrico Tassi (school chair and local organizer)