Ecole d’été « Cryptographie, blockchain et vérification de programmes »
Mathinfoly #2019 est une école d’été à l’interface de l’informatique et des mathématiques destinées aux étudiants de licence et master organisée par France IOI , la Maison des mathématiques et de l’informatique de Lyon et Plaisir Maths, avec le soutien des fondations TEZOS et Blaise Pascal, du 24 au 31 août 2019 à l’INSA Lyon. Cette édition, consacrée au thème de la Cryptographie, blockchain et vérification de programmes, a accueilli 60 participants francophones sélectionnés sur dossier de candidature.
« C’était sans hésitations la meilleure semaine de ma vie »