OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
France
- Tweets 577
- Following 85
- Followers 1,965
- Likes 424
Bravo aux équipes de l’@Inria pour le Workshop #OCaml 2026 ! Performances (OxCaml, Flambda2), sécurité et outillage : #OCaml confirme sa place de référence pour les systèmes exigeants.
Notre récap' complet (🚨contenu technique)
ocamlpro.com/blog/2026_09_14…
5
150
Formez-vous auprès de nos docteurs en informatique (Ph.D.) à notre prochaine formation Rust débutant du 7 au 9 octobre 2026.
Places limitées, finançable via votre #OPCO (#Qualiopi).
Inscrivez-vous maintenant : training.ocamlpro.com/format…
@Pole_Systematic @financeinnov
4
77
En #Rust, domptez le compilateur pour bloquer les bugs avant la prod.
Formation Rust Débutant (7-9 oct. 2026)
Certifiée #Qualiopi & éligible #OPCO
Infos & inscriptions :
training.ocamlpro.com/
@Pole_Systematic | @financeinnov
2
5
152
@OCamlPro participe au #OCaml Workshop 2026 (#FPW) le 24 août.
Fiers de contribuer au Program Committee pour évaluer les travaux sur le typage statique et les langages fonctionnels en production.
Venez échanger sur vos enjeux système !
Planning : fpw26.github.io
Made with AI
3
5
80
La prochaine session Rust Débutant aura lieu du 7 au 9 octobre 2026. Vous souhaitez former vos équipes ou vérifier vos droits #OPCO pour cette session ?
Retrouvez le programme complet et les démarches sur training.ocamlpro.com/format…
@Pole_Systematic | @financeinnov
3
4
75
🚀C’est parti pour le #SalonSouverainetéNumérique2026 !
Retrouvez notre équipe pendant 2 jours pour échanger sur la modernisation des systèmes critiques, l’#OpenSource et la souveraineté technologique.
📍 Paris Porte de Champerret
📅 30 juin & 1er juillet
📌 Stand D15
2
3
100
J-7 avant le Salon Souveraineté Numérique
30 juin & 1er juillet 2026
Inscription : salon-souverainete-numerique…
@Pole_Systematic @HubOpenSource @flefessant
1
77
🇪🇺 La #souveraineténumérique n'est plus un sujet IT, mais un enjeu stratégique.
Maîtrise des données, résilience, indépendance : des choix qui comptent.
➡️ titagone.com/fr/blog/digital…
@Pole_Systematic
@FTGrandParis
@HubOpenSource
@comiterichelieu
Made with AI
1
3
110
Inscription : salon-souverainete-numerique…
2
88
Les 30 juin & 1er juillet 2026, l'équipe sera au Salon Souveraineté Numérique à Paris pour en parler concrètement : #GnuCOBOL, SuperBOL, fiabilité logicielle, indépendance vis-à-vis des éditeurs propriétaires. Passez nous voir au stand D15.
@Pole_Systematic @comiterichelieu
52
Lien d'inscription : salon-souverainete-numerique…
1
3
38
🦀 C’est aujourd’hui ! L’équipe est fière de participer à #RustParis 2026, aux côtés de la communauté #Rust.
📍 Sorbonne Université – Paris 5e
09 juin 2026 | 09h–19h
Une journée dédiée aux usages concrets de Rust dans l’industrie et la recherche.
👥 Passez nous voir sur place !
🦀Rust Paris 2026 approche !
9 juin 2026 | Sorbonne Université, Paris
Une journée dédiée à #Rust, ses usages concrets dans l’industrie et la recherche.
Programme & inscription : rustparis.fr
@HubOpenSource @FTGrandParis @comiterichelieu
#RustParis2026
4
147
🦀Rust Paris 2026 approche !
9 juin 2026 | Sorbonne Université, Paris
Une journée dédiée à #Rust, ses usages concrets dans l’industrie et la recherche.
Programme & inscription : rustparis.fr
@HubOpenSource @FTGrandParis @comiterichelieu
#RustParis2026
6
327
🚀 Formation #Rust 2026 | Passez au niveau supérieur. Des formations vous accompagnent pas à pas avec une approche concrète, orientée résultats.
Donnez un nouvel élan à vos compétences en Rust dès aujourd’hui.
@Pole_Systematic @FTGrandParis
@HubOpenSource @comiterichelieu
1
1
4
92
Donnez un nouvel élan à vos compétences en Rust dès aujourd’hui : titagone.com/fr/training
1
3
63
Salon de la #SouverainetNumérique. Moderniser les systèmes critiques sans tout reconstruire ?
#COBOL + #OpenSource = modernisation intelligente
GnuCOBOL & @superbol_studio (VSCode)
📍30 juin – 1er juillet | Stand D15
@Pole_Systematic @FTGrandParis @HubOpenSource
@comiterichelieu
3
72