OCamlPro

OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods

[OCamlPro @OCamlPro]

@HubOpenSource @Pole_Systematic

[OCamlPro @OCamlPro]

Toujours un plaisir de bosser avec l'équipe #Creusot. On avance sur #DéCySif pour rendre le #Rust encore plus sûr et pousser les perfs d'Alt-Ergo un cran plus loin.

Les détails du projet : https://t.co/V00yXhiKfg

@OCamlPro @Inria @TrustInSoft @AdaCoreCompany

[SuperBOL Studio @superbol_studio]

Une semaine de travail intense en présentiel pour l’équipe @superbol_studio/#GnuCOBOL chez WIPSE à Gif-sur-Yvette ! Notre mission : faciliter vos migrations avec un minimum d’impact sur le code source.

Découvrez comment moderniser vos applications COBOL https://t.co/yGXOnFeWTY

[OCamlPro @OCamlPro]

Nouveau chapitre pour Titagone & OCamlPro ! Nous emménageons au cœur du 6e arrondissement.

📍60, rue Saint André des Arts, 75006 Paris

Aperçu de nos nouveaux locaux en images

[OCamlPro @OCamlPro]

Derniers jours pour s'inscrire à notre formation Rust Débutant (7-9 octobre).
3 jours intensifs pour maîtriser l'ownership, le borrow checker et écrire un code sûr. Formation certifiée Qualiopi (éligible OPCO).

Infos et inscriptions : https://t.co/ypYQcuGo2l

@Pole_Systematic

[OCamlPro @OCamlPro]

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)
https://t.co/oXa4IyWwrM

[OCamlPro @OCamlPro]

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 : https://t.co/ypYQcuFQcN

@Pole_Systematic @financeinnov

[OCamlPro @OCamlPro]

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 :
https://t.co/tuFWxheejy

@Pole_Systematic | @financeinnov

[OCamlPro @OCamlPro]

@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 : https://t.co/Al7Vx1tF2s

[OCamlPro @OCamlPro]

@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 : https://t.co/Al7Vx1tF2s

[OCamlPro @OCamlPro]

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 https://t.co/ypYQcuFQcN

@Pole_Systematic | @financeinnov

[OCamlPro @OCamlPro]

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 https://t.co/ypYQcuFQcN

@Pole_Systematic | @financeinnov

[OCamlPro @OCamlPro]

🚀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

[OCamlPro @OCamlPro]

J-7 avant le Salon Souveraineté Numérique

30 juin & 1er juillet 2026
Inscription : https://t.co/AT0q8NXJlA

@Pole_Systematic @HubOpenSource @flefessant

[OCamlPro @OCamlPro]

🇪🇺 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.

➡️ https://t.co/AjCOQykRmx

@Pole_Systematic
@FTGrandParis
@HubOpenSource
@comiterichelieu

[OCamlPro @OCamlPro]

Inscription : https://t.co/AT0q8NXJlA

[OCamlPro @OCamlPro]

Moderniser sans tout reconstruire ? Au Salon Souveraineté Numérique, Titagone - @OCamlPro présentera ses solutions Open Source pour analyser, améliorer et faire évoluer durablement les applications #COBOL.

📍 Paris Porte de Champerret
📅 30 juin & 1er juillet
📌 Stand D15

[OCamlPro @OCamlPro]

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

[OCamlPro @OCamlPro]

Lien d'inscription : https://t.co/AT0q8NXJlA

[OCamlPro @OCamlPro]

Penser souverain aujourd’hui, c’est construire le numérique de demain.

L'équipe @OCamlPro sera présente au Salon de la Souveraineté Numérique pour échanger sur cybersécurité, data, IA et cloud souverain.

📍 30 juin – 1er juillet.