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]

🦀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 : https://t.co/8bGPiuXxWU

@HubOpenSource @FTGrandParis @comiterichelieu

#RustParis2026

[OCamlPro @OCamlPro]

Donnez un nouvel élan à vos compétences en Rust dès aujourd’hui : https://t.co/Bo4VWQVr1t

[OCamlPro @OCamlPro]

🚀 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

[OCamlPro @OCamlPro]

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

[OCamlPro @OCamlPro]

@flefessant @HubOpenSource @FTGrandParis @Pole_Systematic @comiterichelieu Pour en savoir plus sur @superbol_studio : https://t.co/2N3xtXBvuy

[OCamlPro @OCamlPro]

Moderniser sans casser l’existant : l’enjeu des systèmes critiques sous #COBOL. Avec SuperBOL (basé sur #GnuCOBOL), on aide les équipes à comprendre, faire évoluer et sécuriser ces environnements sans tout réécrire.

Et vous, où en êtes-vous avec vos systèmes legacy ?

[OCamlPro @OCamlPro]

La communauté OCaml Users in Paris (#OUPS) se retrouve ce mercredi 29 avril à 18h30 au 45 rue d’Ulm pour une soirée technique autour #OCaml.

[OCamlPro @OCamlPro]

📍@Meetup OCaml à Paris : La communauté #OUPS se retrouve ce mercredi 29 avril pour une soirée technique autour d'#OCaml.

Inscription et info
https://t.co/r9fWSMnfht

@Pole_Systematic @FTGrandParis
@HubOpenSource @comiterichelieu @flefessant

[OCamlPro @OCamlPro]

30 juin & 1er juillet 2026
Titagone / @OCamlPro sera au Salon Souveraineté Numérique, Porte de Champerret, pour en parler : compilateur #open-source #GnuCOBOL, IDE Vscode SuperBOL Studio, outils d’analyses de code #COBOL

📍Stand D15 !

[OCamlPro @OCamlPro]

@OCamlPro sera à #ETAPS2026, du 11 au 16 avril à Turin pour l’#IndustryDay
Au programme :
🔹 #FormalMethods avec Alt-Ergo et #Owi
🔹 Orchestration des tests avec #SeaCoral
Venez découvrir nos avancées et échanger sur les applications de nos outils
Infos : https://t.co/dp5P132yP1

[OCamlPro @OCamlPro]

Joining #Rust in Paris 2026!

Arthur Carcano will give a fun talk on Rust strings (UTF-8 & Unicode pitfalls).

More: https://t.co/kVwWcWlaB9

@rustparis

[OCamlPro @OCamlPro]

Rust Paris 2026 – 3ᵉ édition
Le 9 juin 2026 – Jussieu, Paris
Partagez vos retours d’expérience #Rust en entreprise ! Déjà utilisateur ou curieux ? Cette journée est pour vous. Proposez votre talk avant le 19 mars https://t.co/etABVfY2aj
@Pole_Systematic #RustLang #TechConference

[OCamlPro @OCamlPro]

👉 Découvrez l’ensemble de nos formations : https://t.co/tuFWxheejy

[OCamlPro @OCamlPro]

Boostez vos compétences avec #Rust 🦀 grâce aux formations OCamlPro !

- Cas pratiques issus de projets réels
- Conçues par des experts
- Application directe en contexte industriel

Infos & inscriptions : https://t.co/tuFWxheejy

#RustLang #Programmation #TechTraining

[OCamlPro @OCamlPro]

Meetup #OUPS — 25 février 2026

La communauté #OCaml se retrouve à Paris, Au programme :

- Julia Lawall — Coccinelle for C & #Rust
- Marco Milanese — OCaml & MOPSA

📍4 place Jussieu, amphi Astier, Bâtiment Esclangon

👉 Inscription : https://t.co/UxEM0ybNud

#Meetup #Tech

[OCamlPro @OCamlPro]

Formez-vous à #Rust 🦀 avec @OCamlPro !

Développez des logiciels fiables et performants.

Rust Avancé : 16-18 février
- Cas pratiques industriels
- Mécanismes du langage approfondis
- Compétence recherchée par l’industrie

👉 Inscrivez-vous : https://t.co/SSH7q8bMjh

[OCamlPro @OCamlPro]

📢 @OCamlPro aux JFLA 2026 (27-30 janv.) !

Deux innovations à découvrir :
🔹 Optimisation du pattern-matching OCaml
🔹 Génération de tests par exécution symbolique

Tous les détails 👇
https://t.co/6lQ6QwfeWU

[OCamlPro @OCamlPro]

🆕 Nouvel article sur le blog OCamlPro : “Opam 104 – Sharing Your Code”
Apprenez à partager votre code #OCaml avec la communauté : configuration de projet, bonnes pratiques opam et publication de packages.

Lire l’article : https://t.co/2SXpM4Uczz

#OPAM #OpenSource #Dev

[OCamlPro @OCamlPro]

📢 OCamlPro à #POPL2026

Du 11 au 17 janvier 2026, notre équipe est présente à POPL, la conférence de référence en langages de programmation et #méthodesformelles.
Hâte d’échanger avec la communauté recherche & industrie !
👉 https://t.co/zwvPkSh3VJ

[OCamlPro @OCamlPro]

@LaFrenchTech I @financeinnov I @Pole_Systematic
I @Fr_Innovation

[OCamlPro @OCamlPro]

🎄Joyeuses fêtes de fin d’année !
Toute l’équipe Titagone & OCamlPro vous remercie pour votre confiance en 2025.
Clients, partenaires, collaborateurs : merci pour cette belle année à vos côtés.
Hâte de poursuivre l’aventure ensemble en 2026 !
Excellentes fêtes à toutes et tous.