Prochaine session deeptech Scikit-learn, la boîte à outils de l’apprentissage automatique avancé – les 29 et 30 août

Prochaine session deeptech CORESE, la boîte à outils des graphes de connaissance débutant  – le 5 septembre (suivante le 3 octobre)

Prochaine session deeptech Machine Learning and Cybersecurity: Why and How with scikit-learn avancé – les 10 et 11 septembre

Prochaine masterclass executive education « Apprentissage automatique, les briques technologiques pour les PME »  – le 25 septembre

Prochaine session deeptech Coq, la preuve par le logiciel débutant – le 8 octobre

Nos formations

Inria Academy forme les ingénieurs aux logiciels open source diffusés par Inria et ses partenaires. Les modules de formation sont dispensés par les scientifiques de l’institut national de recherche en sciences et technologies du numérique qui sont au cœur du développement de ces logiciels.

© Inria / Photo F. Nussbaumer - Signatures

calcul géométrique

CGAL, la bibliothèque d’algorithmes géométriques

CGAL - la bibliothèque d'algorithmes géometriques, utilisée dans divers domaines requérant du calcul géométrique tels que les systèmes d'information géographique, la conception assistée par ordinateur, la biologie moléculaire, l'imagerie médicale, l'infographie et la robotique.

Niveau(x) disponible(s)

Débutant
Avancé
démonstration sur ordinateur Méthodes formelles

Coq, la preuve par le logiciel

Coq fournit un langage de programmation simplifié pour décrire des algorithmes, les propriétés logiques de ces algorithmes et leurs preuves. Ce langage est assez puissant pour décrire des logiciels avancés, comme une machine virtuelle Java, un compilateur C ou un micro-processeur.

Niveau(x) disponible(s)

Débutant
Avancé
knowledge graphs Linked Data Semantic Web

CORESE, la boîte à outils des graphes de connaissance

Pour connaître les langages et principes du web sémantique dont vous avez besoin pour représenter et publier des données liées sur le web, interroger et sélectionner très précisément ces données à distance et au travers du web, raisonner et de déduire de nouvelles données pour enrichir les descriptions publiées, tracer toute l’histoire de ces données.

Niveau(x) disponible(s)

Débutant

Géopolitique du numérique
Asymétrie d’information et souveraineté

Appréhender les dynamiques internationales sur le contrôle des territoires et des ressources par le numérique

Niveau(x) disponible(s)

Avancé
génie logiciel

Guix, optimiser le cycle de vie du logiciel, du développement au déploiement

Guix : Optimiser le cycle de vie du logiciel, du développement au déploiement.

Niveau(x) disponible(s)

Débutant
Numérique et environnement

Impacts du numérique sur l’environnement

Formation 100% en ligne qui vous propose de mesurer, décrypter et agir pour un numérique durable et responsable. Les vidéos, les ressources et activités proposées vous permettront d’identifier les enjeux climatiques en présence, de comprendre les indicateurs de l’empreinte environnementale du numérique, et d’identifier les actions que vous pouvez mettre œuvre pour un numérique plus responsable et plus durable.

Niveau(x) disponible(s)

Débutant

La sécurité informatique face aux menaces quantiques

Comment comprendre, anticiper, et participer à la transition des cryptosystèmes classiques vers des systèmes résistants au calcul quantique ?

Niveau(x) disponible(s)

Avancé

Machine Learning and Cybersecurity: Why and How with scikit-learn

This module, at the intersection of artificial intelligence and cybersecurity, explores the use of scikit-learn in information systems security.

Niveau(x) disponible(s)

Avancé
génie logiciel programmation objet

Pharo, la programmation objet avancée

Repenser la programmation orientée objet grâce à Pharo un langage objet pur, réflexif, dynamique.

Niveau(x) disponible(s)

Débutant
Internet des Objets

RIOT, l’OS adapté à l’Internet des objets

Véritable « Linux de l’Internet des objets », RIOT est un système d'exploitation libre, qui agrège une communauté d’utilisateurs et d'utilisatrices de plus en plus importante, qui connaît de nombreuses applications commerciales.

Niveau(x) disponible(s)

Débutant
Avancé