OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
Joined January 2012
- Tweets 564
- Following 85
- Followers 1,974
- Likes 414
105 Photos and videos
Lien d'inscription : salon-souverainete-numerique…
1
3
35
🦀 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
3
126
🦀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
6
216
🚀 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
1
1
4
85
Donnez un nouvel élan à vos compétences en Rust dès aujourd’hui : titagone.com/fr/training
1
3
62
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
3
68
Pour en savoir plus sur @superbol_studio : superbol.eu/
3
74
📍@Meetup OCaml à Paris : La communauté #OUPS se retrouve ce mercredi 29 avril pour une soirée technique autour d'#OCaml.
Inscription et info
meetup.com/ocaml-paris/event…
@Pole_Systematic @FTGrandParis
@HubOpenSource @comiterichelieu @flefessant
1
1
4
210
@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 : etaps.org/2026/
1
3
91
Joining #Rust in Paris 2026!
Arthur Carcano will give a fun talk on Rust strings (UTF-8 & Unicode pitfalls).
More: ti.to/xperhub/rust-in-paris-…
@rustparis
3
132
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-regio…
@Pole_Systematic #RustLang #TechConference
1
3
187
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 : training.ocamlpro.com/
#RustLang #Programmation #TechTraining
1
5
138
👉 Découvrez l’ensemble de nos formations : training.ocamlpro.com/
4
72
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 : training.ocamlpro.com/format…
3
71
📢 @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 👇
jfla.inria.fr/jfla2026.html
2
75