OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods https://bsky.app/profile/ocamlpro.bsky.socialhttps://bsky.app/profile/ocamlpro.bsky.social/post/3midrnvi6os2aOCamlPro 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 : www.etaps.org/2026/ https://www.etaps.org/2026/31 Mar 2026 08:39 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3midrnvi6os2ahttps://bsky.app/profile/ocamlpro.bsky.social/post/3mhxatjv6hc2hOCamlPro at Rust in Paris 2026 Arthur Carcano will give a light-hearted, interactive talk on Rust strings, covering UTF-8, the eight string types in the standard library, and common Unicode pitfalls. More: https://ti.to/xperhub/rust-in-paris-2026 https://www.linkedin.com/posts/ocamlpro_rust-in-paris-2026-conference-irl-online-activity-7442843430172528640-HP4v?utm_source=share&utm_medium=member_desktop&rcm=ACoAAB9PXwABjkuWFwx9S8dU_3mNoaU-V3IpKzw26 Mar 2026 09:06 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3mhxatjv6hc2hhttps://bsky.app/profile/ocamlpro.bsky.social/post/3mg5lfryrg22c📢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 event.systematic-paris-region.org/rustparis/ #RustLang #TechConference03 Mar 2026 10:41 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3mg5lfryrg22chttps://bsky.app/profile/ocamlpro.bsky.social/post/3mg3bda4ftc25Boostez 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 : training.ocamlpro.com #RustLang #Programmation #TechTraining02 Mar 2026 12:35 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3mg3bda4ftc25https://bsky.app/profile/ocamlpro.bsky.social/post/3manwrj6wfc2s🎄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.23 Dec 2025 14:16 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3manwrj6wfc2shttps://bsky.app/profile/ocamlpro.bsky.social/post/3maasw2etg22zDé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é http://titagone.com18 Dec 2025 09:02 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3maasw2etg22zhttps://bsky.app/profile/ocamlpro.bsky.social/post/3ma3tl2jqg22uMerci pour cette édition réussie de #OSXP2025. De nombreux échanges sur notre stand autour de GnuCOBOL, SuperBOL, SeaCoral et de Titagone. Temps fort : l’échange entre Jean-Marie Hauwel et Simon Sobisch, project leader de #GnuCOBOL. Au plaisir de poursuivre les échanges.16 Dec 2025 09:30 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3ma3tl2jqg22uhttps://bsky.app/profile/ocamlpro.bsky.social/post/3m7naohs3zc2lC’est parti pour l’Open Source Experience aujourd’hui et demain. Découvrez en avant-première un nouveau chapitre pour OCamlPro et échangez avec nous autour de GnuCOBOL, compilateur libre pour COBOL dont nous sommes contributeurs majeurs, et SuperBOL, solution moderne de développement pour COBOL.10 Dec 2025 14:15 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m7naohs3zc2lhttps://bsky.app/profile/ocamlpro.bsky.social/post/3m6ylyzb5ys2fOCamlPro 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.com02 Dec 2025 09:12 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m6ylyzb5ys2fhttps://bsky.app/profile/ocamlpro.bsky.social/post/3m6gy56djd22i✨Et si un nouveau chapitre commençait pour OCamlPro ? Depuis plus de 10 ans, nous innovons et contribuons à la transformation numérique. Une nouvelle étape se prépare… Rendez-vous en décembre pour découvrir cette évolution fidèle à nos valeurs et à notre mission.25 Nov 2025 09:01 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m6gy56djd22ihttps://bsky.app/profile/ocamlpro.bsky.social/post/3m5vhb4jejc2iFormation #Rust🦀by OCamlPro Envie de monter en compétences sur un langage sûr, rapide et moderne ? Notre prochaine session Rust Avancé du 9–11 décembre 2025. Infos et inscriptions : https://training.ocamlpro.com/formation-rust-vocational-2022.html18 Nov 2025 09:44 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m5vhb4jejc2ihttps://bsky.app/profile/ocamlpro.bsky.social/post/3m4xwlxid4s2q#COBOL2025 : un héritage vital, une modernisation essentielle. Les systèmes COBOL restent au cœur d’infrastructures critiques. Comment relèvent-ils le défi de la #modernisation ? Les résultats du sondage : https://superbol.eu/blog/survey-cobol-results-202506 Nov 2025 15:58 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m4xwlxid4s2qhttps://bsky.app/profile/ocamlpro.bsky.social/post/3m4uv4kmdwk2j🌐 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 : https://www.youtube.com/watch?v=x6V-NJ9agjg sur le “Cross-language bug-finding through Wasm” @scsatcmu.bsky.social05 Nov 2025 10:54 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m4uv4kmdwk2jhttps://bsky.app/profile/ocamlpro.bsky.social/post/3lgbbmgzqlc2bPassez 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 https://training.ocamlpro.com/formation-rust-vocational-2022.html21 Jan 2025 16:30 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lgbbmgzqlc2bhttps://bsky.app/profile/ocamlpro.bsky.social/post/3m4bbbjtkc22x🦀 Formez-vous à #Rust ! Sessions à venir : Débutant du 4-6 nov et Avancé du 9-11 déc Apprenez avec des experts, pratiquez sur des cas réels et rejoignez la communauté #Rust française. 👉 Infos & inscriptions : training.ocamlpro.com28 Oct 2025 15:38 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m4bbbjtkc22xhttps://bsky.app/profile/ocamlpro.bsky.social/post/3m3s3e7dscs2iLes résultats du sondage COBOL 2025 sont disponibles ! 💡 COBOL est un socle critique, souvent invisible, mais essentiel pour des centaines d’organisations. Découvrez le rapport complet : https://superbol.eu/news/survey-cobol-results-2025/#form #COBOL #Mainframe #ModernisationIT #SuperBOL #OCamlPro22 Oct 2025 14:42 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m3s3e7dscs2ihttps://bsky.app/profile/ocamlpro.bsky.social/post/3m2lt3yu3uc2iMeetup #OUPS — lundi 13 octobre 2025 à 18h30 📍4 place Jussieu (amphi Astier, bâtiment Esclangon) 🧠 Au programme : - What's the deal with modular implicits ? — Samuel Vivien - Flambda2: Abstractions without Cost — Guillaume Bury Infos & inscription : https://www.meetup.com/fr-FR/ocaml-paris/events/311402632/07 Oct 2025 09:33 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m2lt3yu3uc2ihttps://bsky.app/profile/ocamlpro.bsky.social/post/3m2jeqjvlf22v🚀 OCamlPro sera à #EuroRust 2025 du 9 au 11 octobre à📍Paris ! Notre collègue Arthur Carcano y représentera l’équipe pour échanger avec la communauté #Rust autour d’innovation, de performance et de fiabilité logicielle. 👉 Programme complet : https://ti.to/events-matter/eurorust-2025#schedule06 Oct 2025 10:11 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3m2jeqjvlf22vhttps://bsky.app/profile/ocamlpro.bsky.social/post/3lzo2v6hdoc2n🦀 Formations #Rust Rejoignez notre programme de formation Rust et développez votre expertise dans l'un des langages les plus prometteurs. Sessions à venir : - Formation hashtag#Rust Avancé → 7-9 octobre - Formation hashtag#Rust Débutant → 4-6 novembre Inscriptions : training.ocamlpro.com25 Sep 2025 13:33 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lzo2v6hdoc2nhttps://bsky.app/profile/ocamlpro.bsky.social/post/3lz46vunfoc2oLa conf Rust in Paris 2025 est en ligne ! Arthur explore les coulisses du panic! en Rust dans "What Happens When You Start Panicking". lnkd.in/eqwAAXgN Chez OCP, nous sommes fiers de soutenir des événements qui font avancer l’écosystème des langages fonctionnels & systèmes.18 Sep 2025 10:57 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lz46vunfoc2ohttps://bsky.app/profile/ocamlpro.bsky.social/post/3lyzqzvkzhs2p🆕 Nouveau sur le blog OCamlPro : OCaml Onboarding – Introduction à Dune Un guide pratique pour bien démarrer avec OCaml et comprendre le système de build Dune. 👉 À lire ici : https://ocamlpro.com/blog/2025_07_29_ocaml_onboarding_introduction_to_dune/17 Sep 2025 11:43 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lyzqzvkzhs2phttps://bsky.app/profile/ocamlpro.bsky.social/post/3lykiqx5wes24Vos 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 !11 Sep 2025 10:05 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lykiqx5wes24https://bsky.app/profile/ocamlpro.bsky.social/post/3lwr6lgn4uk2aDERNIÈRES PLACES - Formations #Rust 🦀 Nos sessions de rentrée affichent presque complet ! Disponible : - Rust Débutant : 9-11 septembre - Rust Avancé : 7-9 octobre Au programme : apprentissage progressif, projets concrets, expertise reconnue Réservez : lnkd.in/eGhqRDR719 Aug 2025 15:01 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lwr6lgn4uk2ahttps://bsky.app/profile/ocamlpro.bsky.social/post/3lvdnskiuf225🌞 OCamlPro passe en mode "Au Calme Pro" Nos équipes prennent une pause bien méritée pour revenir avec encore plus d'énergie et d'innovation du 4 𝑎𝑢 15 𝑎𝑜𝑢̂𝑡 𝑖𝑛𝑐𝑙𝑢𝑠. Rendez-vous à la rentrée ! Excellent été à toutes et à tous !🏖️01 Aug 2025 12:31 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lvdnskiuf225https://bsky.app/profile/ocamlpro.bsky.social/post/3lua5iftw5s2w📊RAPPEL : Questionnaire #COBOL 2025 Aidez-nous à dresser un état des lieux de l'écosystème #COBOL en 2025. Le questionnaire est toujours ouvert. Nous avons besoin de votre retour d'expérience. form.typeform.com/to/NSuM9Z2r Merci pour votre participation !18 Jul 2025 09:36 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lua5iftw5s2whttps://bsky.app/profile/ocamlpro.bsky.social/post/3lu5mdf4mx22iRENTRÉ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.com17 Jul 2025 09:24 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lu5mdf4mx22ihttps://bsky.app/profile/ocamlpro.bsky.social/post/3ltmfg3cd2s2vOCamlPro x La Communauté Du COBOL The #COBOL 2025 survey is now available in English! We're interested in your COBOL experience, regardless of your role. Share your feedback: form.typeform.com/to/EZECRBTV https://form.typeform.com/to/EZECRBTV10 Jul 2025 13:05 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3ltmfg3cd2s2vhttps://bsky.app/profile/ocamlpro.bsky.social/post/3lthc6m7j722zNotre questionnaire #COBOL 2025 est disponible en anglais ! Votre expérience COBOL nous intéresse, quel que soit votre rôle. Partagez votre retour d'expérience ici : https://form.typeform.com/to/EZECRBTV?typeform-source=www.linkedin.com08 Jul 2025 12:24 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lthc6m7j722zhttps://bsky.app/profile/ocamlpro.bsky.social/post/3lt5al5hyzk2vLe secret de #GnuCOBOL ? Il compile vers du C intermédiaire, puis utilise le compilateur C local. Résultat : ✅ Portabilité maximale ✅ Moins de bugs ✅ Accès aux outils Unix/Linux ✅ Zéro souci de migration Questionnaire COBOL France 2025 : form.typeform.com/to/NSuM9Z2r04 Jul 2025 12:28 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lt5al5hyzk2vhttps://bsky.app/profile/ocamlpro.bsky.social/post/3lsladiwybc2hMerci #RustParis2025 !🦀Quelle journée ! Des talks passionnants, belle énergie et échanges pointus autour de #Rust. Revivez notre intervention lnkd.in/eV3s5Y8P Merci aux équipes du Hub Cyber & Security Systematic et Systematic Paris-Region pour l'organisation parfaite et à tous les sponsors !27 Jun 2025 08:36 +0000at://did:plc:eb32467ylwj2mbwi7cbwvh7n/app.bsky.feed.post/3lsladiwybc2h