Muriel Shan Sei Fan - OCamlPro
muriel42.bsky.social
Muriel Shan Sei Fan - OCamlPro
@muriel42.bsky.social
OCamlPro's CEO w. Fabrice Le Fessant, President & Founder. We are a powerful team of world-class IT experts. 3 business lines: 1/ Programming Languages Optimization & Design 2/ Security & Safety with Formal Methods 3/ Solving Technical Debt challenges.
Reposted by Muriel Shan Sei Fan - OCamlPro
Découvrez Titagone : notre nouvelle marque dédiée à un écosystème numérique de confiance.
Notre mission : vous accompagner avec des solutions fiables, performantes et souveraines.

👉 Suivez titagone.com

#Innovation #TransformationNumérique #Souveraineté
Titagone – Software, Services & Innovation
Titagone provides expert software, R&D and PhD-level consulting. The right tools for mission-critical systems, verification & industrial optimization services - legacy sovereign migrations (COBOL, Rus...
titagone.com
December 18, 2025 at 9:02 AM
Reposted by Muriel Shan Sei Fan - OCamlPro
OCamlPro sera à l’Open Source Experience 2025 !
Le 10 & 11 décembre, au Cité des Sciences – Paris
Au menu :
- Modernisation — #GnuCOBOL & SuperBOL
- Optimisation — OCaml, Rust
- Innovation open source
- Conseil & Formation

Inscription : opensource-experience.com
December 2, 2025 at 9:12 AM
Reposted by Muriel Shan Sei Fan - OCamlPro
🌐 Trois journées dans l’écosystème WebAssembly ! Entre le Community Group Meeting et le Wasm Research Day, des échanges riches
En attendant la prochaine vidéo, découvrez la présentation de Léo : www.youtube.com/watch?v=x6V-...
sur le “Cross-language bug-finding through Wasm”
@scsatcmu.bsky.social
Wasm Research Day 2025 – Léo Andrès
YouTube video by Carnegie Mellon Software and Societal Systems Dept
www.youtube.com
November 5, 2025 at 10:54 AM
Reposted by Muriel Shan Sei Fan - OCamlPro
Vos applis #COBOL sur #IBMAIX arrivent en fin de support ? Avec #GnuCOBOL & SuperBOL,

OCamlPro vous aide à migrer vers Linux :
- Moins de coûts
- Plus de sécurité
- Modernisation sans réécriture

Libérez vos applis de l’obsolescence !
September 11, 2025 at 10:05 AM
Reposted by Muriel Shan Sei Fan - OCamlPro
RENTRÉE TECH : Formations #Rust 2025

L'été, c'est le moment parfait pour planifier votre montée en compétences !

Nos prochaines sessions :
Rust Débutant : 9-11 septembre
Rust Avancé : 7-9 octobre

Inscriptions : training.ocamlpro.com
July 17, 2025 at 9:24 AM
Reposted by Muriel Shan Sei Fan - OCamlPro
#RustParis2025 DEMAIN ! 100% retours industriels #Rust🦀
Programme : Embarqué, #Cybersécurité, Vérification formelle, Cloud #WebAssembly, OS

Merci aux sponsors : Gold
OCamlPro, thalesgroup
Silver : AdaCore, cenotelie, zettascaletech

Inscription : rustparis.fr
June 24, 2025 at 10:11 AM
Reposted by Muriel Shan Sei Fan - OCamlPro
Des systèmes critiques en #OpenSource ? Oui, avec #GnuCOBOL
Déjà en prod dans des banques… et à la Direction générale des Finances publiques.

Reprenez le contrôle sur vos systèmes legacy.

📊Donnez votre avis sur l’usage de COBOL en France : lnkd.in/eH8_6UuZ
May 28, 2025 at 1:52 PM
Reposted by Muriel Shan Sei Fan - OCamlPro
Formations #Rust 2025 – Montez en compétence avec un langage sûr, rapide et moderne ! Débutant ou confirmé ? Nos experts vous accompagnent.
Prochaines #sessions :
Débutant → 13-15 mai, 3-5 juin, 9-11 sept, 4-6 nov
Avancé → 12-14 juin, 7-9 oct, 9-11 déc

🔗 training.ocamlpro.com
May 5, 2025 at 3:46 PM
Reposted by Muriel Shan Sei Fan - OCamlPro
#COBOL est partout, mais ses usages réels restent méconnus. La Communauté du COBOL & OCamlPro
lancent une grande enquête sur COBOL en 2025 !
Vous codez, formez ou travaillez avec COBOL ? Votre témoignage compte.
📋 Répondez avant le 30 juin : form.typeform.com/to/NSuM9Z2r
April 28, 2025 at 10:08 AM
Reposted by Muriel Shan Sei Fan - OCamlPro
🚨OCamlPro recrute ! Rejoignez une équipe où #OCaml, #Rust et rigueur technique riment avec passion.

Postes ouverts :
- Chef·fe de projet Informatique & R&D
- Ingénieur·e R&D OCaml Senior
- Ingénieur·e R&D OCaml

📍 Paris | CDI | Temps plein
🔗 Tous les détails et candidatures ici : ocamlpro.com/jobs/
April 17, 2025 at 3:08 PM
Reposted by Muriel Shan Sei Fan - OCamlPro
#RustinParis 2025 ! Retrouvez Arthur Carcano le 14 mars à 09h30 pour sa conférence "What Happens When You Start Panicking". Il dévoilera les coulisses de panic! en Rust et ses dernières évolutions pour une meilleure intégration inter-langages. www.rustinparis.com/schedule

#RustLang #RustLang
Rust In Paris 2025
Rust in Paris is a community conference for developers passionate about building secure, concurrent, high-performing software with Rust.
www.rustinparis.com
March 10, 2025 at 2:06 PM
Reposted by Muriel Shan Sei Fan - OCamlPro
Retrouvez-nous aux #JFLA pour découvrir #Owi, notre outil d’exécution symbolique (Rust/C/Wasm, bientôt OCaml), et Weasel, le premier langage de spécification Wasm standard.

Pour en savoir plus : inria.hal.science/hal-04798756...
inria.hal.science
January 27, 2025 at 2:04 PM
Reposted by Muriel Shan Sei Fan - OCamlPro
Passez au niveau supérieur🚀avec notre #Formation #Rust Avancée du 4 au 6 février 2025 en présentiel. Perfectionnez votre expertise et boostez vos projets !🔗 Inscrivez-vous ici training.ocamlpro.com/formation-ru...
Formation Formation Rust Avancée
OCamlPro diffuse son expertise des langages de programmation et des méthodes formelles au travers de nombreuses formations.
training.ocamlpro.com
January 21, 2025 at 4:30 PM
Reposted by Muriel Shan Sei Fan - OCamlPro
OCamlPro participera aux Journées Francophones des Langages Applicatifs (JFLA) qui auront lieu du 28 au 31 janvier 2025.💡Nous allons présenter Store, une bibliothèque #OCaml optimisée pour le back-backtracking grâce à une technique innovante, la record elision.
Info : jfla.inria.fr/jfla2025.html
JFLA 2025
JFLA: JFLA 2025
jfla.inria.fr
January 20, 2025 at 10:51 AM