Sessions de prise en main des logiciels Inria Academy
Découvrez les formations Inria Academy lors des sessions de prise en main des logiciels Inria, les 8 et 9 novembre. Inscriptions tout au long du salon, au desk Inria Academy (stand D28), ou par mail : academy@inria.fr. Pensez à apporter votre ordinateur portable.
Mardi 08 Novembre :
- 11h30 – 12h30 : Premiers pas en Coq pour la vérification d’une transaction bancaire (Yves Bertot)
- 14h00 – 15h00 : Prédire le prix d’un bien immobilier avec scikit-learn (Vincent Maladière)
- 15h00 – 16h00 : CGAL: Calcul géométrique 3D avec garanties pour la robotique et la simulation (Pierre Alliez)
- 16h00 – 17h00 : Débuter avec RIOT, un OS open-source pour l’Internet des Objets (Alexandre Abadie)
Mercredi 09 Novembre :
- 9h30 – 10h30 : Software Heritage save-a-thon : partager son code c’est bien, l’archiver c’est mieux (Pierre Poulain)
- 10h30 – 11h30 : Débuter avec RIOT, un OS open-source pour l’Internet des Objets (Alexandre Abadie)
- 11h30 – 12h30 : Premiers pas en Coq vers la vérification d’outils pour systèmes critiques embarqués: l’exemple d’un mini compilateur (Maxime Dénès)
- 14h00 – 15h00 : Roassal : Agile visualization with Pharo (en anglais – Milton Mamani Torres)
- 15h00 – 16h00 : Software Heritage save-a-thon : partager son code c’est bien, l’archiver c’est mieux (Pierre Poulain)
