Rust Paris 2026
Une conférence pour les développeurs et utilisateurs de RUST 100% REX !
3ème édition | 09.06.26 | 9h – 19h | Paris
Événement gratuit pour les membres de Systematic à jour de cotisation
À propos
La conférence Rust Paris réunit les utilisateurs et développeurs du langage de programmation Rust pour une journée de retours d’expériences et d’échanges en français sur l’utilisation de Rust dans des projets industriels et de recherche.
Plus de 200 participants sont attendus lors de cette troisième édition qui offrira de nombreux temps de networking et pauses gourmandes.
Le langage Rust est la technologie montante pour toutes les entreprises travaillant dans les domaines de la fiabilité et de la sécurité, qui ne veulent pas de compromis sur la performance.
L’objectif est de proposer aux développeurs, chefs de projets et décideurs un lieu pour partager des idées et des cas d’usage et apprendre les uns des autres sur la meilleure façon d’appliquer ce langage et ses outils face à des défis en constante évolution dans des domaines variés : réécrire en Rust, migration, systèmes critiques, embarqué, Web Assembly, analyse et qualité logicielle…
Issus de Pme, Grands Groupes, Institut de recherche, nos experts partageront leurs expériences et techniques, reviendront sur les choix qui ont motivé l’adoption ou la migration vers Rust dans leur organisation, et mettront en évidence les réussites et les limites de l’utilisation de ce langage dans certaines applications.
Retrouvez nos experts dans la rubrique « Programme ».
- Connaître, en amont, les projets industriels émergents qui façonneront l’écosystème Rust de demain,
- Comprendre pourquoi et comment appliquer Rust à des problèmes concrets de stratégie d’entreprise,
- Réseauter avec ses pairs, nouer de nouvelles relations, encourager de nouvelles collaborations.
Retour sur l’édition 2026
Le 09 juin dernier Systematic Paris-Region organisait une journée de conférences sur l’utilisation du langage RUST dans l’industrie.
L’objectif de cette conférence était de proposer aux passionnés de RUST un rendez-vous parisien pour partager des idées et apprendre les uns des autres sur la meilleure façon d’appliquer le langage RUST et ses outils dans les domaines variés : réécrire en Rust, migration, systèmes critiques, embarqué, Web Assembly, analyse et qualité logicielle…
👇 Retrouvez les interventions des experts qui ont partagé leurs expériences et techniques et mis en évidence les réussites et les limites de l’utilisation de RUST dans certains cas d’usage. 👇
Introduction avec : Sorbonne Université, Cénotélie, Ocamlpro & Thales : partenaire et sponsors Gold de Rust Paris 2026
Keynote – Petite histoire de Rust hors des industries de la Tech
Frédéric Ameye, Head of Software Architecture | Renesas Electronics
Sécuriser du code Rust en pratique : fuzzing, IA et retours terrain
Patrick Ventuzelo, CEO & Founder | FuzzingLabs
Vérifier formellement des programmes Rust avec Creusot
Li-yao Xia, Ingénieur R&D | LMF – Inria
Jacques-Henri Jourdan, Chargé de recherche | LMF – CNRS
Quand Python ne suffit plus : Transférer des Petaoctets de manière efficace et sûre
Florian Lemaitre, HPC expert and Cloud architect | Aneo
Dylan Brasseur, HPC expert | Aneo
Architecture à composants : coup de neuf avec Rust
Thomas Clemenceau, Ingénieur logiciel embarqué et critique | Thales
Thomas Emerdjian, Ingénieur Développeur logiciel embarqué | Thales
Notre Load Balancer Rust en production : le Bon, la Brute, et l’Async
Florian Lemaitre, HPC expert and Cloud architect | Aneo
Jérôme Gurhem, HPC expert and Cloud architect | Aneo
Optimisation des systèmes logiciels complexes via une migration vers Rust et WebAssembly
Gabin Fourcault, Ingénieur Architecte des systèmes et des logiciels | Thales Alenia Space
Projet de recherche Fos-R:
Pierre-François Gimenez, Chercheur | Inria
What’s left to find in Rust code?
Rolland Dudemaine, Directeur Solutions Engineering EMEA/APAC | TrustInSoft
Appel à propositions
Le programme de la conférence Rust Paris 2026 est élaboré sur la base d’un appel à propositions. Les propositions d’interventions sont soumises à la validation d’un comité de programme qui sélectionne les propositions répondant le mieux aux objectifs du programme. Les candidatures nous sont parvenues au plus tard le 19 mars à minuit.
Agenda de la journée
09h00 – 09h30 : Accueil des participants
09h30 – 09h45 : Introduction
09h45 – 10h30 : Keynote – Petite histoire de Rust hors des industries de la Tech
Frédéric Ameye, Head of Software Architecture | Renesas Electronics
Bien que les avantages de Rust soient nombreux, d’autres critères sont souvent à prendre en compte pour déployer une nouvelle techno dans une industrie, notamment quand elle est constituée de grosses entreprises ayant de l’inertie. Réécrire un composant a son lot de risques, et déployer une nouvelle techno dans des équipes de centaines de personnes moyennement motivées n’a pas le même impact que dans un petit projet de start-up passionnée. Je ferai ici le retour d’expérience de l’intégration de Rust dans mes projets passés et actuels dans l’industrie; car même à bas bruit, le changement est bien là!
10h35 – 11h05 : Sécuriser du code Rust en pratique : fuzzing, IA et retours terrain
Patrick Ventuzelo, CEO & Founder | FuzzingLabs
Rust élimine toute une classe de vulnérabilités mémoire… mais pas les bugs. Dans ce talk, nous verrons pourquoi le fuzzing reste essentiel pour sécuriser des projets Rust modernes.
À travers des cas concrets, dont l’incident Cloudflare lié à un panic Rust, et des vulnérabilités découvertes sur des bibliothèques de protocoles et de parsing, nous explorerons les failles qui subsistent : dénis de service, panics non maîtrisés, erreurs logiques ou d’état.
Nous expliquerons comment fuzzer efficacement du code Rust aujourd’hui, quels outils et techniques utiliser, et comment l’IA et les agents spécialisés peuvent aider à automatiser l’audit et le fuzzing en continu. Un retour terrain pour développeurs qui veulent aller au-delà de la safety du compilateur.
11h05 – 11h25 : Pause
11h25 – 11h55 : Vérifier formellement des programmes Rust avec Creusot
Li-yao Xia, Ingénieur R&D | LMF – Inria
Jacques-Henri Jourdan, Chargé de recherche | LMF – CNRS
Creusot est un outil pour vérifier formellement des programmes Rust. Il vise à garantir l’absence d’erreurs dans le code en s’appuyant sur le raisonnement mathématique, avec l’aide de solveurs automatiques. L’ingrédient principal pour mettre en œuvre cette méthode est d’écrire des contrats de fonctions Rust : ce sont des spécifications formelles des entrées et sorties des fonctions à vérifier.
Cette présentation exposera un retour d’expérience de l’utilisation de Rust pour la vérification déductive de programmes, à travers un aperçu de l’utilisation de Creusot : son système de type et son système de traits se sont révélés être très utile pour cet usage. Nous exposerons aussi des études de cas de bibliothèques et d’applications formellement vérifiées.
12h00 – 12h30 : Quand Python ne suffit plus : Transférer des Petaoctets de manière efficace et sûre
Florian Lemaitre, HPC expert and Cloud architect | Aneo
Dylan Brasseur, HPC expert | Aneo
Pour réaliser des tâches qui paraissent simples, un langage de scripting est souvent le plus facile à utiliser. Mais quand cette tâche concerne des données vitales, parfois lourdes, parfois nombreuses, les langages de scripting classiques ne suffisent plus. Les appels répétés à des outils externes, les latences de connexion, et les besoins spécifiques de vérification deviennent des goulets d’étranglement. Quand Python ne suffit plus, Rust offre la possibilité de faire tout le nécessaire, en parallèle et de manière efficace. Faisons ensemble le tour d’une migration de données industrielles d’un data center vers le cloud ainsi que les challenges, les surprises, et les astuces qui ont rythmé ce projet.
12h30 – 14h00 : Cocktail déjeunatoire
14h00 – 14h30 : Architecture à composants : coup de neuf avec Rust
Thomas Clemenceau, Ingénieur logiciel embarqué et critique | Thales
Thomas Emerdjian, Ingénieur Développeur logiciel embarqué | Thales
Depuis fin 2023, notre équipe s’intéresse au langage Rust pour populariser son usage dans les environnements contraints du groupe, et vérifier sa compatibilité avec les meilleures pratiques d’ingénierie logicielle. Notre outil fournit déjà la chaîne complète pour la génération de code Java, C++ et Ada. Il repose sur l’ingénierie logicielle pilotée par les modèles et sur l’approche à composants. Il génère du code technique depuis une modélisation de l’architecture logicielle proposée par les métiers Thales: temps-réel, critiques, embarqués.
Depuis, nous avons pu délivrer une première version Rust compatible des besoins métiers.
Nous présentons notre démarche au long des différents use-cases industriels et questionnements d’architecture logicielle qui ont jalonné nos succès.
14h35 – 15h05 : Notre Load Balancer Rust en production : le Bon, la Brute, et l’Async
Florian Lemaitre, HPC expert and Cloud architect | Aneo
Jérôme Gurhem, HPC expert and Cloud architect | Aneo
Pour notre orchestrateur de tâches ArmoniK, nous avons dû concevoir un Load Balancer gRPC capable de passer à l’échelle et gérer de manière transparente plusieurs clusters. Le choix du Rust s’est imposé naturellement : performances prévisibles, écosystème asynchrone mature, stabilité. Après quelques difficultés relatives aux bibliothèques utilisées, l’implémentation a vite été fonctionnelle.
Trop fonctionnelle même : grâce sa gestion efficace de l’asynchronisme et la capacité de traiter des centaines de milliers requêtes en parallèle, le load balancer s’est trouvé à saturer les composants en amont et en aval entraînant des erreurs côté utilisateur, et à faire tomber Nginx.
Plongez avec nous dans cette épopée, entre batailles de bibliothèques, contre-intuitions de performance, et les leçons qu’on en a tirées pour concevoir un système vraiment robuste.
15h10 – 15h40 : Optimisation des systèmes logiciels complexes via une migration vers Rust et WebAssembly
Gabin Fourcault, Ingénieur Architecte des systèmes et des logiciels | Thales Alenia Space
C’est comme un vieux poste de radio dont les piles se vident trop vite. Au lieu de toujours en racheter, on pourrait le réparer pour qu’il consomme moins d’énergie et dure plus longtemps. C’est un peu ce que fait ce projet pour les gros ordinateurs de Thales.
Le problème : Ces ordinateurs utilisent des milliers de petits programmes (appelés microservices) qui mangent beaucoup de mémoire et d’électricité, comme une armée de radios allumées en même temps. Ça coûte cher et ça pollue.
La solution :
Changer de « langage » : Passer du Python (lent et gourmand, comme une vieille voiture) au Rust. Résultat : les programmes tournent 10 à 30 fois plus vite et utilisent 20 fois moins d’énergie !
Changer les « boîtes » : Remplacer les conteneurs Docker par du WebAssembly.
15h40 – 16h00 : Pause
16h00 – 16h30 : Projet de recherche Fos-R:
Pierre-François Gimenez, Chercheur | Inria
En recherche, les projets logiciels s’arrêtent le plus souvent à la preuve de concept. Dans ce contexte, Rust est rarement utilisé. Cet exposé est un retour d’expériences sur l’utilisation de Rust pour l’un de ces projets, appelé Fos-R, qui utilise des modèles d’intelligence artificielle explicable pour générer du faux trafic réseau pour une utilisation en cybersécurité. Fos-R tire parti du fait que Rust est un langage de programmation système, portable et avec des performances élevées. Nous mentionnerons également les limites de Rust dans ce contexte, et pourquoi son utilisation en recherche restera certainement niche.
16h35 – 17h05 : What’s left to find in Rust code?
Rolland Dudemaine, Directeur Solutions Engineering EMEA/APAC | TrustInSoft
Rust est réputé pour sa capacité à générer un code robuste et sûr en termes de gestion de la mémoire, par ses diagnostics à la compilation. Associé à de bonnes pratiques, ces outils permettent de produire un code considéré comme « de qualité ».
Cependant, on constate que la communauté ayant conçu le langage a délibérément créé des outils incomplets : l’objectif est plutôt une qualité optimale dans un temps de compilation raisonnable, pour le plus grand nombre. Les aspects restants sont gérés par l’instrumentation d’exécution ou d’autres outils d’analyse.
Cette présentation s’attachera à mettre en évidence les types de bugs « restants » dans le code, à partir d’analyses de code en production réalisées avec TrustInSoft Analyzer. L’objectif est de permettre de comprendre quand et comment utiliser des outils supplémentaires, et comment résoudre les problèmes de la manière la plus efficace.
17h05 – 17h10 : Conclusion
17h10 – 19h00 : Cocktail networking
Intervenants
Frédéric Aymeye
Renesas Electronics
Frédéric Ameye est tombé dans la marmite du code à 14 ans. Il a notamment été développeur bénévole d'une plateforme web très connue en France - Infoclimat - pendant plus de quinze ans. Il a continué en parallèle une carrière dans les systèmes embarqués, notamment au ministère des Armées, dans l'industrie lourde et médicale, puis dans l'automobile. Ces industries ont un point commun : elles ont une partie de technos très innovantes, mais parfois 10 ans de retard dans le logiciel. Frédéric a toujours voulu essayer de combler cet écart, désormais dans l'industrie du semiconducteur.
Dylan Brasseur
Aneo
Féru d’optimisation à tous les niveaux, Dylan touche à toutes les problématiques qui y sont liées, que ce soit dans l’architecture de systèmes distribués sur le cloud, ou dans des implémentations en assembleur sur Raspberry Pi. Bricoleur en Rust, Python, C++ et CUDA, il a plus de projets personnels qu’il ne veuille l’admettre.
Thomas Clemenceau
Thales
Ingénieur expert chez Thales, je conçois et intègre depuis plus de dix ans des solutions logicielles embarquées critiques, tout en assurant la montée en maturité technologique des équipes. Spécialisé dans la génération de code automatique, l’architecture à composants et l’interopérabilité DDS, j’accompagne l’adoption de Rust dans les environnements industriels. J’ai piloté la formation, la veille technologique et la mise en œuvre des meilleures pratiques pour garantir la robustesse des systèmes délivrés.
Rolland Dudemaine
Directeur Solutions Engineering EMEA/APAC
Rolland Dudemaine est actif dans le domaine de l'industrie du logiciel embarqué depuis plus de 25 ans. Il est passionné de logiciel bas niveau, et de sujets comme la haute-performance, la sûreté et cybersécurité, les RTOS, et l'architecture logicielle en général. Chez TrustInSoft, il aide les clients à atteindre la meilleure qualité logicielle en adoptant des méthodes pour réduire et éliminer tous les bugs restants dans leur code, en augmentant l'efficacité du développement au passage.
Thomas Emerdjian
Thales
Ingénieur logiciel chez Thales, je développe et maintiens des composants critiques en Rust, C++, Java et Ada pour des environnements industriels exigeants. Formé à EPITA, je me passionne pour les architectures à composants, la qualité logicielle, l’automatisation CI/CD et la création d’outils robustes et efficaces. En tant que Rustacien, j’aime explorer de nouvelles approches et partager les bonnes pratiques pour rendre le code plus fiable… et plus fun à utiliser au quotidien.
Gabin Fourcault
Thales Alenia Space
Architecte logiciel au sein de Thales depuis 2019, j'ai eu l'occasion de travailler sur un système permettant le contrôle d'une payload (intérieur d'un satellite) et de prendre en charge un projet concernant la calibration. Formé au CNAM, j'ai pu travailler en alternance chez Airbus et Thales Alenia Space.
Pierre-François Gimenez
Inria
Pierre-François Gimenez est chercheur Inria au sein de l’équipe PIRAT qui est spécialisé en cybersécurité. Il a obtenu un doctorant en intelligence artificielle et travaille actuellement sur la génération de trafic réseau synthétique, un projet à l’intersection entre IA et cybersécurité.
Jérôme Gurhem
Aneo
Jérôme Gurhem est Tech & Research Lead chez ANEO, où il pilote ArmoniK, un orchestrateur open source conçu pour distribuer des calculs massifs sur des infrastructures cloud hybrides et multi-cloud. Architecte, Tech Lead, responsable R&D, référent du support, mentor d'équipe, co-encadrant de thèse… Il a occupé tellement de rôles sur ArmoniK qu'il envisage de se créer un cluster juste pour se gérer lui-même. Titulaire d'un doctorat en informatique, il vient du monde du HPC et s'est progressivement reconverti dans l'art de faire tourner des millions de tâches sans accroc. Quand il ne bataille pas avec Docker, le C# ou Rust, il enseigne les systèmes d'exploitation et le calcul numérique à l'université. Ses chats, eux, orchestrent ses nuits avec une efficacité qu'aucun scheduler ne saurait rivaliser.
Jacques-Henri Jourdan
LMF
Jacques-Henri Jourdan est chargé de recherche CNRS dans l'équipe Toccata au Laboratoire Méthodes.
Florian Lemaitre
Aneo
Florian est curieux et touche à tout : administration système, réseau, développement, HPC… Après un temps dans le milieu académique où il a travaillé sur des algorithmes d’algèbre linéaire et traitement d’images CPU, GPU et embarqué, il a rejoint le secteur privé où il design aujourd’hui des infrastructures de calculs sur le cloud, et développe ArmoniK, un orchestrateur de tâches pour le calcul haut débit. Il maîtrise beaucoup plus de langages qu’un humain sain ne devrait, en passant notamment par le C, C++, Rust, Python, C#, Zig…
Patrick Ventuzelo
FuzzingLabs
Patrick Ventuzelo est expert en fuzzing, recherche de vulnérabilités et sécurité applicative. Il est fondateur de FuzzingLabs, société spécialPatrick Ventuzeloée en offensive security, fuzzing et audits avancés. Il travaille depuis plusieurs années sur la sécurité de projets Rust, Go et C/C++, et intervient régulièrement en conférence sur le fuzzing, les vulnérabilités et l’automatisation de la recherche de bugs.
Li-yao Xia
LMF
Ingénieur au Laboratoire Méthodes Formelles. Expert en formalisation de langages de programmation, idéalement mécanisée avec un assistant de preuve, il se consacre maintenant à la démocratisation des méthodes formelles notamment par le développement de l'outil Creusot.
Comité de programme
Florian BENNETOT
DevOps Engineer - Parsec
Florence BLAZY
Coordinatrice du Hub Open Source - Systematic
Arthur CARCANO
Ingénieur R&D Rust | Docteur en mathématiques et informatique - Ocamlpro
Emmanuel CHAILLOUX
Professeur émérite
LIP6, IRILL, Sorbonne Université
Thierry LEBLOND
Co-Founder & CEO - Parsec
Fabrice LE FESSANT
Président Fondateur - Ocamlpro
Sébastien LEJEUNE
OSPO Director | Driving Open Source Collaboration - Thales
Orson PESSIN
CEO - Wyliodrin
Laurent WOUTERS
CEO - Cénotélie
Sponsors Silver
Plus de détails sur nos sponsors
Vous souhaitez être visible, soutenir cet événement, en savoir plus sur notre offre de sponsoring ?
« * » indique les champs nécessaires
Informations pratiques
Lieu : Université de Jussieu – 4, place Jussieu 75005 Paris
Horaire : 9h-19h
Accès :
• Métro : lignes 7 ou 10, station « Jussieu »
• Bus : lignes 89 ou 67 (arrêt Jussieu ou Institut du Monde Arabe)
• Amphithéâtre 43, au fond à droite en entrant
Inscription
La participation aux frais de cet événement est couverte par l’adhésion pour les membres de Systematic.
Si votre organisme est adhérent, vous avez dû recevoir un code de réduction.
Si ce n’est pas le cas, merci de contacter Lætitia JEANNE
Pour les non adhérents, une participation aux frais de 120€ HT est demandée.
Si votre entreprise n’est pas adhérente, vous pouvez profiter de cette occasion pour adhérer.
Pour plus d’informations, veuillez contacter Florence BLAZY




