-
Recherche
- Présentation
- Trimestres et mois thématiques
- Evénements scientifiques
-
Chercheurs invités
- Chercheurs invités 2021
- Chercheurs invités 2022
- Chercheurs invités 2023
-
Post-doctorants Milyon
- Post-doctorants 2022
- Post-doctorants 2023
- Publications
- Prix, honneurs, bourses de recherche
- Portraits de chercheurs
- Formation
- Médiation
- Entreprise
- Appels à candidature
- Contacts
Vous êtes ici : Version française > Présentation > Les écoles d'été internationales
-
Partager cette page
Mathinfoly #2019
Cryptographie, blockchain et vérification de programmes
Du 24 au 31 août - INSA - Lyon - France
Après l’édition de 2016, Mathinfoly revient avec une école d’été à l’interface de l’informatique et des mathématiques, sur le thème : Cryptographie, blockchain et vérification de programmes, du 24 au 31 août à l’INSA Lyon (France). Organisée par France IOI, la Maison des mathématiques et de l’informatique de Lyon et Plaisir Maths, cette école d’été internationale est dédiée aux étudiants de licence et master.
Une semaine intensive (cours, TD TP, projet) pour comprendre la révolution des blockchains et les mécanismes de vérification associés. Animé par deux chercheurs de haut niveau, le stage sera encadré par une équipe de jeunes chercheurs enthousiastes.
Plus d'infos sur site site web Mathinfoly#2019
Informations pratiques
Public : étudiants, élèves des écoles ou cursus préparatoires, en fin de L2, L3 ou M1.
Prérequis : goût pour les mathématiques et une familiarité avec un langage de programmation, de préférence OCaml. Français et anglais courant.
Frais de participation : 200 € avec possibilité de prise en charge intégrale de certains participants. Les frais de participation couvrent l’hébergement et les repas. Les frais de transport sont à la charge des participants.