coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MathComp Workshop and Winter School (Dec 5-9 2022) - last call

From: Enrico Tassi <Enrico.Tassi AT inria.fr>
To: coq-club <coq-club AT inria.fr>, ssreflect <ssreflect AT inria.fr>, coq+announcements <coq+announcements AT discoursemail.com>
Subject: [Coq-Club] MathComp Workshop and Winter School (Dec 5-9 2022) - last call
Date: Fri, 18 Nov 2022 16:01:29 +0100
Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Enrico.Tassi AT inria.fr; 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).

Registration is free but mandatory. Deadline on Thursday 24 November.
More info:
https://mathcomp-schools.gitlabpages.inria.fr/2022-12-school/

Best regards
--
Enrico Tassi

[Coq-Club] MathComp Workshop and Winter School (Dec 5-9 2022) - last call, Enrico Tassi, 11/18/2022