La production de logiciel libre d'Inria au salon Open Source Experience
2 Place de la Porte Maillot
,
75017 Paris
Dans le cadre de leurs travaux scientifiques, les équipes-projets Inria produisent de nombreux logiciels, notamment pour vérifier leurs hypothèses théoriques. Aujourd’hui, la bibliothèque logicielle de l’institut compte près de 1 500 références. Souvent développés en open source, certains logiciels atteignent une diffusion mondiale, notamment dans le cadre de consortiums associant acteurs publics et/ou privés.
Conscient du fait que rendre public le code d’un logiciel suffit rarement à lui donner un réel impact économique, Inria a mis en place plusieurs dispositifs. Son objectif : faire en sorte que les logiciels qui répondent aussi à un besoin du marché économique ou d’une industrie profitent aux acteurs concernés.
Ainsi, François Cuny, directeur général délégué à l’innovation d’Inria, interviendra mardi 8 novembre, pendant la plénière d’ouverture, pour présenter l’offre d’Inria sur le thème « Infrastructures numériques souveraines et
technologies open source ». Il présentera notamment les trois dispositifs qui seront aussi à l’honneur sur le stand Inria (D28) :
Fort d’une longue expérience, Inria a mis au point le programme InriaSoft en 2017 pour soutenir les logiciels open source créés par ses équipes de recherche et dont l’impact va au-delà de l’activité de recherche. Son objectif : pérenniser et développer des logiciels de recherche open source via la création de consortiums réunissant industriels et laboratoires. En effet, les consortiums permettent d’organiser des communautés de développeurs et d’usagers autour des logiciels, de financer les coûts d’ingénierie nécessaires au support des logiciels et à l’animation de ces communautés.
Lancé en 2020, Inria Academy propose des formations de pointe à des logiciels Inria dans des domaines très variés tels que les vérificateurs de preuve (Coq), la programmation objet avancée (Pharo), l’apprentissage automatique (Scikit-learn), la simulation multiphysique (SOFA) ou l’internet des objets (RIOT). Dispensées par les chercheurs ou ingénieurs Inria contribuant au développement des logiciels, les sessions de formation visent à accélérer l’appropriation de ces pépites technologiques pour répondre aux besoins des entreprises de la deeptech française.
Lancé en 2016 à l'initiative d'Inria, Software Heritage a pour objectif de collecter, organiser, préserver, et rendre accessible, à tous, le code source de tous les logiciels disponibles. Au cœur de tout développement technologique, devenu indispensable pour la recherche scientifique dans tous les domaines, le logiciel joue un rôle central et même critique dans notre vie quotidienne, notre industrie et notre société. Ainsi, afin de préserver ce patrimoine et de répondre aux défis technologiques et scientifiques de demain, Software Heritage s’affirme comme l’archive universelle et pérenne du logiciel.
Découvrez les formations de pointe Inria Academy lors de nos sessions de prise en main les 8 et 9 novembre.
Plénière d’ouverture
Keynote de François Cuny, directeur général délégué à l’innovation d’Inria, sur le thème « Infrastructures numériques souveraines et technologies open source »
Coq #1
Premiers pas en Coq pour la vérification d’une transaction bancaire élémentaire
Scikit-learn
Prédire le prix d’un bien immobilier avec scikit-learn
CGAL
Calcul géométrique 3D avec garanties pour la robotique et la simulation
RIOT
Débuter avec RIOT, un OS open source pour l’Internet des Objets
Software Heritage save-a-thon
Partager son code c’est bien, l’archiver c’est mieux
RIOT
Débuter avec RIOT, un OS open source pour l’Internet des Objets
Conférence : Fed-BioMed: empowering federated AI in healthcare
par Marco Lorenz
Coq #2
Premiers pas en Coq vers la vérification d’outils pour systèmes critiques embarqués : l’exemple d’un minicompilateur
Pharo
Roassal : Agile visualization with Pharo
Session in English
Conférence: Augmenter l'impact des codes open source issus de la recherche
par David Margery
Software Heritage save-a-thon
Partager son code c’est bien, l’archiver c’est mieux
Les inscriptions se font tout au long du salon, au desk Inria Academy (stand D28).
Consulter le programme détaillé de chaque session de prise en main :