Subject: Ssreflect Users Discussion List
List archive
- From: Enrico Tassi <>
- To: coq-club <>, ssreflect <>, coq+announcements <>
- Subject: [ssreflect] MathComp Workshop and Winter School (Dec 5-9 2022)
- Date: Tue, 30 Aug 2022 09:45:24 +0200
- Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail ; dmarc=fail (p=none dis=none) d=inria.fr
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:
https://mathcomp-schools.gitlabpages.inria.fr/2022-12-school/
Best regards
--
Assia Mahboubi (workshop chair) and
Enrico Tassi (school chair and local organizer)
- [ssreflect] MathComp Workshop and Winter School (Dec 5-9 2022), Enrico Tassi, 08/30/2022
- <Possible follow-up(s)>
- [ssreflect] MathComp Workshop and Winter School (Dec 5-9 2022), Enrico Tassi, 08/31/2022
Archive powered by MHonArc 2.6.19+.