Sponsors Gold
Cénotélie
Cénotélie
Spécialiste de Rust en France, Cénotélie accélère l’adoption de ce langage performant et sécurisé grâce à des formations professionnelles sur-mesure et un conseil expert.
Nos parcours adaptés, basés sur vos cas d’usage, rendent vos équipes autonomes et efficaces, avec une certification reconnue. Nous accompagnons aussi vos projets Rust : prototypage, audit, migration et déploiement clé en main. Bénéfices ? Réduction des risques, code optimisé et gain de productivité.
Rejoignez la communauté Rustaceens et libérez le plein potentiel de Rust avec Cénotélie !
OCamlPRO
OCamlPro est un acteur clé de l’écosystème Rust en France.
Bureau d’étude R&D en informatique avancée d’une trentaine d’experts ingénieurs et PhDs, nous accompagnons les entreprises dans leur passage à Rust au travers de formations sur-mesure, de conseil expert et de contributions open source (Rust-GCC, opam-rs, cargo tools).
Notre approche allie rigueur académique et excellence industrielle pour garantir performance, fiabilité et souveraineté à vos projets Rust.
Parlez-nous de vos défis Rust — construisons ensemble des solutions robustes et durables.
Thales
Thales est un leader mondial des hautes technologies qui compte 83 000 collaborateurs dans le monde. Thales investit dans les innovations du numérique et de la « Deep Tech » (connectivité, Big data, intelligence artificielle, cybersécurité et quantique) pour construire un avenir de confiance.
Opérant sur les marchés de la défense, de l’aérospatial, de la cyber et digital, le Groupe propose des solutions, services et produits qui aident ses clients - entreprises, organisations, Etats - à remplir leurs missions critiques.
Sponsors Silver
AdaCore
Créé en 1994, AdaCore est un éditeur de solutions de développement de logiciels pour les systèmes critiques en matière de sûreté et de sécurité, notamment Ada/SPARK, C/C++ et Rust.
GNAT Pro, notre produit phare, intègre un ensemble complet d’outils : compilateur, débogueur, IDE, bibliothèques logicielles, outils de vérification et de couverture de code, logiciels d'analyse statique, kit de certification DO-178B.
Favorisant le support technique à long terme, AdaCore garantit la continuité et la fiabilité de ses chaînes d'outils sur plusieurs décennies.
OxidOS
OxidOS est une société d’ingénierie et de recherche dédiée aux systèmes embarqués sécurisés en Rust.
Nous contribuons activement à l’écosystème open source autour de TockOS et développons des architectures permettant l’exécution sûre d’applications sur microcontrôleurs. Nos équipes accompagnent les industriels à travers du conseil, de l’expertise système et de l'implémentation avancée sur Tock et les nouvelles architectures logicielles pour l’IoT et l’embarqué.
Wyliodrin
Wyliodrin est une société d’ingénierie et de recherche dédiée aux technologies systèmes modernes .
Nous accompagnons les équipes R&D de grands groupes à travers du conseil et des trainings avancés sur Rust, WebAssembly et TockOS. Engagés dans l’écosystème open source, nous explorons de nouvelles architectures logicielles sûres et performantes pour les systèmes embarqués, l’IoT et les plateformes industrielles de demain.