@OCamlProi
iAccount based inFrance
About this account
- Account based in
- France
- Connected via
- Web
Account-level information from X, not a live location or the device used for a specific post.
OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
France
Joined January 2012
- Tweets577
- Following85
- Followers2K
- Likes424
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…
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
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
@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
@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
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
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
🚀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
J-7 avant le Salon Souveraineté Numérique
30 juin & 1er juillet 2026
Inscription : salon-souverainete-numerique…
@Pole_Systematic @HubOpenSource @flefessant
🇪🇺 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
Inscription : salon-souverainete-numerique…
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
Lien d'inscription : salon-souverainete-numerique…
🦀 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
🦀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
🚀 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
Donnez un nouvel élan à vos compétences en Rust dès aujourd’hui : titagone.com/fr/training
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