I wrote my first line of ssr in one of the excellent Winter Schools in Sophia Antipolis. I just looked it up and it seems that there were only two of these Winter Schools, and no other SSR/MathComp schools since. I expect covid may be responsible, but apparently there wasn't anything in 2019 either, is this right? And are there plans to reinstate these or similar schools in the future?
There were more than two: https://team.inria.fr/marelle/en/teaching/
people will probably have to make due with the tutorial material for a while: https://github.com/math-comp/tutorial_material
I attended the one in 2016 BTW.
https://team.inria.fr/stamp/proofs-and-reliable-programming-using-coq-2020/
Last updated: Oct 13 2024 at 01:02 UTC