Stream: math-comp users

Topic: SSR/MathComp Lectures


view this post on Zulip Ana de Almeida Borges (Jan 14 2022 at 15:11):

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?

view this post on Zulip Théo Zimmermann (Jan 14 2022 at 15:13):

There were more than two: https://team.inria.fr/marelle/en/teaching/

view this post on Zulip Karl Palmskog (Jan 14 2022 at 15:13):

people will probably have to make due with the tutorial material for a while: https://github.com/math-comp/tutorial_material

view this post on Zulip Théo Zimmermann (Jan 14 2022 at 15:15):

I attended the one in 2016 BTW.

view this post on Zulip Karl Palmskog (Jan 14 2022 at 15:18):

https://team.inria.fr/stamp/proofs-and-reliable-programming-using-coq-2020/


Last updated: Feb 08 2023 at 04:04 UTC