Dear Coq enthusiasts,
we are organizing a winter school titled
“The Mathematical Components library”
in Sophia-Antipolis (Nice) from Monday 5th December 2022 to Friday
9th. On Wednesday of the same week we are organizing the workshop
“Mathematical Components - 10 years after the Odd Order Theorem”
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.
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).
Limited funding support is available for participants, to be discussed
with the organizers.
Webpage with preliminary info:
Best regards