Aller au contenu |
Aller au menu |
Aller à la recherche
« Comment on dégoûte les gens des maths
- Les données et le plafond de verre »
Par David Monniaux le dimanche, septembre 28 2014, 13:55 - Enseignement
- Lien permanent
Last summer, I was invited tutorial speaker at the annual Computer Aided Verification conference, which took place as part of the Vienna Summer of Logic. My tutorial (3 hours) on analysis and invariants was filmed and the video is now online. The slides are also online.
Looks like there are quite strong minds here.
It turns out to be that it makes me smile as they also speak English quite fluently...
Well, nevermind. Have a nice day !
(yet I hope you keep on thinking about the homeless in a corner of your head - holy wish, if I can say -)
Tous les tags
Propulsé par Dotclear