coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017)

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017)
Date: Thu, 26 Oct 2017 10:17:42 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=enrico.tassi AT inria.fr; spf=None smtp.mailfrom=gares AT fettunta.org; spf=None smtp.helo=postmaster AT fettunta.org
Ironport-phdr: 9a23:IMapUBC1JEtW92ML67V3UyQJP3N1i/DPJgcQr6AfoPdwSP3zpMbcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6i760TlHERLmcAFxO+7dG4jIjs3x2frhwZDLZxR0g2+2Zqo3JxGrpy3QsNMXiM1sMPUf0BzM91ZOYeVdwitULEmInl6o68Gq/ZVktThZoOkg389GS6TzOaoiG+8LRA86Onw4sZW4/SLIShGCsyMR

Dear Coq enthusiasts, we are organizing a winter school for master
students titled

“ADVANCED SOFTWARE VERIFICATION AND COMPUTER PROOF”

in Sophia-Antipolis (Nice) from Monday 4th December 2017 to Friday 8.

The school will be in English and will target master students with
already basic knowledge of Coq. The course will introduce formalization
techniques based on the SSReflect proof language and the Mathematical
Components library.

All relevant data is at:

https://team.inria.fr/marelle/en/coq-winter-school-2017-2018-ssreflect-mathcomp/

Best regards,
--
Yves Bertot, Cyril Cohen, Laurence Rideau, Enrico Tassi and Laurent Thery

[Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017), Enrico Tassi, 10/26/2017
- Re: [Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017), Benoît Viguier, 10/26/2017
  - Re: [Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017), Enrico Tassi, 10/26/2017