Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Coq/MathComp Winter School (Nov 26-29 2018)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq/MathComp Winter School (Nov 26-29 2018)


Chronological Thread 
  • From: Enrico Tassi <enrico.tassi AT inria.fr>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Coq/MathComp Winter School (Nov 26-29 2018)
  • Date: Mon, 15 Oct 2018 11:05:24 +0200
  • Authentication-results: mail3-smtp-sop.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:l2MAmBwYvqz+TSLXCy+O+j09IxM/srCxBDY+r6Qd1O8eIJqq85mqBkHD//Il1AaPAd2Eraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHmiCkJKSM3/mLNisN/kK1UvR2vqBJkzo7IY4yYLuZycr/HcN4YQ2dKQ8ZfVzZGAoO5d4YBAOwBPfxZr4bhoFsFsAWwChO3BOP0yz9Dm3j70rM80+Q7EAHJwAsgE8gSsHvOt9X1L6YSXPu0zKnO1zXDbulZ1S3z6IjSax0sp+yHU7x3ccrU00YvFgXFg02RqYzjJTOV1/4Cv3KV7+p6U++klm0pqxlprzWrycogkJfFi4wPxl3F8Sh12ps5KcO6RUJjfNKpHphduzueOoZ3WM8uXX1ktDogxrAGuJO2ejUBxo49yB7FcfOHdpCF4hL9W+aVJjd1nHxld6yjhxau7EigzPH8WdOu3FZNtCpFncHAtnEL1xPN9siKUv9w80i71TqR2Q3f8OBJLEQumabGNZIswKY8lp8JvkTCGi/2ll/2jKiTdkg89ein8f7nbav9ppKHOY97lB3+Mrgzmsy5HeQ3KBICX2+B+eSzzLHj51H2QK1Wjv0qlanUqIzVJcMCpqKgHwBV1psj5A2kAje90NUYmGEHI0hfdBKGiYjpIVDOL+riAfexmVT/2AtskvvBJ/jqBojHBnnFirboO7hnuHRR0A4i8dcK7JVNT7oFPfjbW0nrtdWeAAVqHRazxrPKDs983YRWZWuUGa7RZK7Uq16D4aQzKvKXZacUviz8Ir4r/ai93jcChVYBcPzxjtMsY3eiE6E+ehTLUT/Xmt4EVFwykE87Re3uhkeFVGcPNXi/Q74h4C0yToW8AtWbH9z/sPm6xC6+W6ZuSCVeEFnVSSXpcZ+FUrECcnDKe5Izonk/TbGkDrQZ+1SuuQv9kuY1IOfI5jAeqZul08J6tbXe

Dear Coq enthusiasts, we are organizing a winter school titled

“SOFTWARE VERIFICATION AND COMPUTER PROOF”

in Sophia-Antipolis (Nice) from Monday 26th Novemebr 2018 to Thursday 29.

The school will be in English and will target master students with
no knowledge of Coq. The course will introduce the Coq system
and the Mathematical Components library.

All relevant data is at:


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

Best regards,
--
Enrico Tassi



  • [Coq-Club] Coq/MathComp Winter School (Nov 26-29 2018), Enrico Tassi, 10/15/2018

Archive powered by MHonArc 2.6.18.

Top of Page