Enrico Tassi
2018-10-15 09:05:24 UTC
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,
“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
Enrico Tassi